Author

Profile picture
Reinhard Mühlfeld
Siemens Corporate Technology
Erlangen, Germany
1 article by this author
Sort by:
A Case Study in Verification of UML Statecharts: ...
Research Article
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
Robi Malik, Reinhard Mühlfeld
10.3217/jucs-009-02-0138
 28-02-2003
 Unique: 963 | Total: 1263
 138-151
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK