Search results
Formal Methods in System Design > 2018 > 53 > 1 > 113-137
Journal of Systems Architecture > 2015 > 61 > 10 > 601-614
Computer Applications in Engineering Education > 21 > 3 > 432 - 438
IEEE Transactions on Software Engineering > 2012 > 38 > 6 > 1340 - 1354
IEEE Transactions on Knowledge and Data Engineering > 2011 > 23 > 2 > 282 - 296
IEEE Transactions on Computers > 2008 > 57 > 1 > 41 - 54