Benjamin Hummel, Peter Braun. Towards an integrated system model for testing and verification of automation machines. In Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler, editors, International Workshop on Modeling in Software Engineering, MiSE 2008, Leipzig, Germany, May 10-11, 2008. pages 51-56, ACM, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.