Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System. (1997)

Cached

Download Links

by Alessandro Cimatti , Fausto Giunchiglia , Giorgio Mongardi , Dario Romano , Fernando Torielli , Paolo Traverso
Citations:13 - 3 self