Publications

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

AuthID
P-002-F72

Author(s)

Pereira, F

Moutinho, F

Gomes, L

Document Type

Proceedings Paper

Year published

2012

Published

in 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)

Pages: 1399-1404 (6)

Conference

21St Ieee International Symposium on Industrial Electronics (Isie), Date: MAY 28-31, 2012, Location: Hangzhou, PEOPLES R CHINA, Sponsors: 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