Towards Usage of Formal Methods Within Embedded Systems Co-Design

AuthID
P-000-5NE
5
Author(s)
Pais, R
·
Moutinho, F
2
Editor(es)
LoBello,L;Sauter,T
Tipo de Documento
Proceedings Paper
Year published
2005
Publicado
in ETFA 2005: 10th IEEE International Conference on Emerging Technologies and Factory Automation, Vol 1, Pts 1 and 2, Proceedings
Volume: 1 2 VOLS, Páginas: 281-284 (4)
Conference
10Th Ieee International Conference on Emerging Technologies and Factory Automation, Date: SEP 19-22, 2005, Location: Catania, ITALY, Patrocinadores: Univ Studi Catania, IEEE Ind Elect Soc, Iconics, Schneider, ST Microelect, Medianet Comunicaz SrL
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-33847322432
Wos: WOS:000238575500041
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.