[IEEE 2009 Third International Conference on Digital Society (ICDS) - Cancun, Mexico (2009.02.1-2009.02.7)] 2009 Third International Conference on Digital Society - A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints
Andrade, Ermeson, Maciel, Paulo, Callou, Gustavo, Nogueira, BrunoYear:
2009
Language:
english
DOI:
10.1109/ICDS.2009.19
File:
PDF, 269 KB
english, 2009