Jan Bosch;Clemens A. Szyperski;Wolfgang Weck
-;-;-
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML
Architecting Dependable Systems V
Component behavior synthesis for critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems