External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints

Ermeson Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira. Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. In Masoud Mohammadian, editor, 2008 International Conferences on Computational Intelligence for Modelling, Control and Automation (CIMCA 2008), Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2008), Innovation in Software Engineering (ISE 2008), 10-12 December 2008, . pages 615-620, IEEE Computer Society, 2008. [doi]

Authors

Ermeson Andrade

This author has not been identified. Look up 'Ermeson Andrade' in Google

Paulo Romero Martins Maciel

This author has not been identified. Look up 'Paulo Romero Martins Maciel' in Google

Gustavo Rau de Almeida Callou

This author has not been identified. Look up 'Gustavo Rau de Almeida Callou' in Google

Bruno Costa e Silva Nogueira

This author has not been identified. Look up 'Bruno Costa e Silva Nogueira' in Google
runs on