%0 Conference Paper %1 conf/cimca/AndradeMCN08 %A Andrade, Ermeson C. %A Maciel, Paulo Romero Martins %A de Almeida Callou, Gustavo Rau %A e Silva Nogueira, Bruno Costa %B CIMCA/IAWTIC/ISE %D 2008 %E Mohammadian, Masoud %I IEEE Computer Society %K dblp %P 615-620 %T Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. %U http://dblp.uni-trier.de/db/conf/cimca/cimca2008.html#AndradeMCN08 %@ 978-0-7695-3514-2

@inproceedings{conf/cimca/AndradeMCN08, added-at = {2023-03-23T00:00:00.000+0100}, author = {Andrade, Ermeson C. and Maciel, Paulo Romero Martins and de Almeida Callou, Gustavo Rau and e Silva Nogueira, Bruno Costa}, biburl = {https://www.bibsonomy.org/bibtex/28a0a35f069e6f50a266d97ab97c1e1ce/dblp}, booktitle = {CIMCA/IAWTIC/ISE}, crossref = {conf/cimca/2008}, editor = {Mohammadian, Masoud}, ee = {https://doi.ieeecomputersociety.org/10.1109/CIMCA.2008.44}, interhash = {9590dbf9ce5548714a3fc8c52bd0478a}, intrahash = {8a0a35f069e6f50a266d97ab97c1e1ce}, isbn = {978-0-7695-3514-2}, keywords = {dblp}, pages = {615-620}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:02:04.000+0200}, title = {Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints.}, url = {http://dblp.uni-trier.de/db/conf/cimca/cimca2008.html#AndradeMCN08}, year = 2008 }