Verification of Hybrid Systems: Formalization and Proof Rules in PVS.

Erika brahm-Mumm, Martin Steffen, Ulrich Hannemann

Browse the full ICECCS paper archive.