Verification of hybrid systems: Formalization and proof rules in PVS (2001)

by Erika Ábrahám-mumm , Martin Steffen , Ulrich Hannemann
Venue:in PVS. In: ICECCS, IEEE Computer Society
Citations:17 - 1 self