A Formal Approach for Component Based Embedded Software Modelling and Analysis

Saved in:
Bibliographic Details
Published inProceedings of the IEEE International Symposium on Industrial Electronics, 2005. ISIE 2005 Vol. 4; pp. 1337 - 1342
Main Authors Almeida, H.O., Dias da Silva, L., Oliveira, E., Perkusich, A.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2005
Subjects
Computer languages
Computer science
Context modeling
Embedded software
Embedded system
Hardware
Middleware
Petri nets
Programming
Software systems
Online AccessGet full text

Cover

More Information
ISBN:0780387384
9780780387386
ISSN:2163-5137
DOI:10.1109/ISIE.2005.1529126