The Rhapsody UML Verification Environment

BIB
Schinz, Ingo and Mrugalla, Christian and Toben, Tobe and Westphal, Bernd
09 / 2004
inproceedings
IEEE Computer Society Press
174-183
OMEGA
Entwicklung korrekter eingebetteter Realzeitsysteme (sorry - only available in German)