DocumentCode :
2355157
Title :
A Formal Approach for Component Based Embedded Software Modelling and Analysis
Author :
Almeida, H.O. ; da Silva, Leandro Dias ; Oliveira, Elthon ; Perkusich, Angelo
Volume :
4
fYear :
2005
fDate :
20-23 June 2005
Firstpage :
1337
Lastpage :
1342
Keywords :
Computer languages; Computer science; Context modeling; Embedded software; Embedded system; Hardware; Middleware; Petri nets; Programming; Software systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Industrial Electronics, 2005. ISIE 2005. Proceedings of the IEEE International Symposium on
Conference_Location :
Dubrovnik, Croatia
Print_ISBN :
0-7803-8738-4
Type :
conf
DOI :
10.1109/ISIE.2005.1529126
Filename :
1529126
Link To Document :
بازگشت