Model-Checking Framework for Embedded Systems Controllers Development Using Iopt Petri Nets

AuthID
P-002-F72
3
Author(s)
Tipo de Documento
Proceedings Paper
Year published
2012
Publicado
in 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
Páginas: 1399-1404 (6)
Conference
21St Ieee International Symposium on Industrial Electronics (Isie), Date: MAY 28-31, 2012, Location: Hangzhou, PEOPLES R CHINA, Patrocinadores: Inst Elect & Elect Engineers (IEEE), IEEE Ind Elect Soc (IES), Zhejiang Univ, Mitsubishi Elect & Elect, Fuji Elect, RS Components, Delta Elect, Silergy, Xiamen Kehua Hengsheng
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-84864864619
Wos: WOS:000309118100231
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.