MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Model Checking Safety Critical Software with SPIN An Application to a Railway Interlocking System." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System
by Cimatti Giunchiglia Mongardi, F. Traverso P, Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano — 1997
… Safety Critical Software with SPIN: an Application to a Railway Interlocking System Cimatti A…
Add To MetaCart

Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System.
by Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso — 1997
… Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System…
Cited by 13 (3 self) – Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB