[IEEE 2008 International Conference on Computational Intelligence for Modelling Control & Automation - Vienna, Austria (2008.12.10-2008.12.12)] 2008 International Conference on Computational Intelligence for Modelling Control & Automation - Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints
Andrade, Ermeson, Maciel, Paulo, Callou, Gustavo, Nogueira, BrunoYear:
2008
Language:
english
DOI:
10.1109/cimca.2008.44
File:
PDF, 320 KB
english, 2008