The Rhapsody UML Verification Environment - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
The Rhapsody UML Verification Environment

The Rhapsody UML Verification Environment

Export

All authors

Schinz, Ingo and Mrugalla, Christian and Toben, Tobe and Westphal, Bernd

Publishing date

09 / 2004

Type of Publication

inproceedings

Publisher

IEEE Computer Society Press

Pages

174-183

Projects

OMEGA
Entwicklung korrekter eingebetteter Realzeitsysteme(sorry - only available in German)

Privacy Data Transparency Contact Legals