Title :
A Formal Approach for Component Based Embedded Software Modelling and Analysis
Author :
Almeida, H.O. ; da Silva, Leandro Dias ; Oliveira, Elthon ; Perkusich, Angelo
Keywords :
Computer languages; Computer science; Context modeling; Embedded software; Embedded system; Hardware; Middleware; Petri nets; Programming; Software systems;
Conference_Titel :
Industrial Electronics, 2005. ISIE 2005. Proceedings of the IEEE International Symposium on
Conference_Location :
Dubrovnik, Croatia
Print_ISBN :
0-7803-8738-4
DOI :
10.1109/ISIE.2005.1529126