Publicações

A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using Iopt Petri Nets

AuthID
P-002-FG6

Author(s)

Pereira, F

Moutinho, F

Gomes, L

Editor(es)

CamarinhaMatos, LM; Shahamatnia, E; Nunes, G

Tipo de Documento

Proceedings Paper

Year published

2012

Publicado

in TECHNOLOGICAL INNOVATION FOR VALUE CREATION in IFIP Advances in Information and Communication Technology, ISSN: 1868-4238

Volume: 372, Páginas: 123-132 (10)

Conference

3Rd Ifip/Socolnet Doctoral Conference on Computing, Electrical and Industrial Systems, Date: FEB 27-29, 2012, Location: Costa de Caparica, PORTUGAL, Patrocinadores: Soc Collaborat Networks, IFIP, IEEE Ind Elect Soc, IFIP WG 5 5 COVE, UNINOVA

Indexing