Publications

Towards Usage of Formal Methods Within Embedded Systems Co-Design

AuthID
P-000-5NE

Author(s)

Gomes, L

Barros, JP

Costa, A

Pais, R

Moutinho, F

Editor(s)

LoBello,L;Sauter,T

Document Type

Proceedings Paper

Year published

2005

Published

in ETFA 2005: 10th IEEE International Conference on Emerging Technologies and Factory Automation, Vol 1, Pts 1 and 2, Proceedings

Volume: 1 2 VOLS, Pages: 281-284 (4)

Conference

10Th Ieee International Conference on Emerging Technologies and Factory Automation, Date: SEP 19-22, 2005, Location: Catania, ITALY, Sponsors: Univ Studi Catania, IEEE Ind Elect Soc, Iconics, Schneider, ST Microelect, Medianet Comunicaz SrL

Indexing