External Links

Cite Key

Statistics

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

PDF

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.

Towards Early Verification of UML Models for Embedded and Real-Time Systems

Marco Aurélio Wehrmeister, Carlos Eduardo Pereira. Towards Early Verification of UML Models for Embedded and Real-Time Systems. In Klaus Schilling, Florian Leutert, editors, 1st Conference on Embedded Systems, Computational Intelligence and Telematics in Control, CESCIT 2012, Würzburg, Germany, April 03-05, 2012. pages 25-30, International Federation of Automatic Control, 2012. [doi]

Authors

Marco Aurélio Wehrmeister

This author has not been identified. Look up 'Marco Aurélio Wehrmeister' in Google

Carlos Eduardo Pereira

This author has not been identified. Look up 'Carlos Eduardo Pereira' in Google
runs on