[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints
Andrade, Ermeson, Maciel, Paulo, Callou, Gustavo, Nogueira, Bruno, Araújo, CarlosYear:
2009
Language:
english
DOI:
10.1145/1529282.1529364
File:
PDF, 524 KB
english, 2009