Publications

Model Checking Embedded Systems with Promela

AuthID
P-000-6YK

Author(s)

Ribeiro, OR

Fernandes, JM

Pinto, LF

Editor(s)

Rozenblit, J; ONeill, T; Peng, J

Document Type

Proceedings Paper

Year published

2005

Published

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

Pages: 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, Sponsors: IEEE TC Engn Comp Based Syst, NASA Software Engn Lab, NASA Goddard Space Flight Ctr, Univ Arizona

Indexing