Formal Verification of a Sensor Voting and Monitoring UML Model

BIB
Mrugalla, Christian and Robbe, Oliver and Schinz, Ingo and Toben, Tobe and Westphal, Bernd
06 / 2005
inproceedings
OMEGA
Entwicklung korrekter eingebetteter Realzeitsysteme
Technische Universität München