Login / Signup

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

Erika Ábrahám-MummMartin SteffenUlrich Hannemann
Published in: ICECCS (2001)
Keyphrases