Publicações

Model Checking Embedded Systems with Promela

AuthID
P-000-6YK

Author(s)

Ribeiro, OR

Fernandes, JM

Pinto, LF

Editor(es)

Rozenblit, J; ONeill, T; Peng, J

Tipo de Documento

Proceedings Paper

Year published

2005

Publicado

in 12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS

Páginas: 378-385 (8)

Conference

12Th Ieee International Conference and Workshop on the Engineering of Computer-Based Systems, Date: APR 04-07, 2005, Location: Greenbelt, MD, Patrocinadores: IEEE TC Engn Comp Based Syst, NASA Software Engn Lab, NASA Goddard Space Flight Ctr, Univ Arizona

Indexing