Towards Early Verification of UML Models for Embedded and Real-Time Systems
Wehrmeister, Marco A., Packer, João G., Ceron, Luis M., Pereira, Carlos E.Volume:
45
Year:
2012
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.3182/20120403-3-de-3010.00030
File:
PDF, 329 KB
english, 2012