Search results for: Jan Olaf Blech
Lecture Notes in Computer Science > Runtime Verification > Core Runtime Verification Papers > 139-150
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 58-73
Lecture Notes in Computer Science > Architecting Systems with Trustworthy Components > Articles by Participants > 245-261
IEEE Transactions on Industrial Informatics > 2015 > 11 > 6 > 1400 - 1410