Search results for: Bárbara Vieira
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Contributed Papers > 37-52
Journal of Medical Virology > 88 > 7 > 1222 - 1229
IEEE Transactions on Smart Grid > 2015 > 6 > 4 > 2134 - 2146
Science of Computer Programming > 2014 > 91 > Part B > 216-233
Science of Computer Programming > 2013 > 78 > 7 > 796-812
Innovations in Systems and Software Engineering > 2010 > 6 > 3 > 203-218