Matthias Bauer, Wolfgang Ecker, Andreas Zinn. Graphische Spezifikation und Analyse funktionaler Testabläufe mit MSCs der UML. In Klaus Waldschmidt, Christoph Grimm, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000. pages 113-120, VDE, 2000.
No references recorded for this publication.
No citations of this publication recorded.