Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform (2003)

Cached

Download Links

by Marco Bozzano , Adolfo Villafiorita
Citations:28 - 1 self