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