Publications

2001
Link
[bibtex]
Erika Abraham, Ulrich Hannemann, Martin Steffen. Verification of Hybrid Systems: Formalization and Proof Rules in PVS. Technical report at Lehrstuhl für Software-Technologie, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel number TR-ST-01-1, 2001.
Link
[bibtex]
Erika Abraham, Ulrich Hannemann, Martin Steffen. Verification of Hybrid Systems: Formalization and Proof Rules in PVS. IEEE Engineering of Complex Computer Systems (ICECCS'01), pages 48–57, IEEE, 2001.
DOI
[bibtex]
Erika Abraham, Ulrich Hannemann, Martin Steffen. Assertion-Based Analysis of Hybrid Systems with PVS. Computer Aided Systems Theory (EUROCAST'01), Volume 2178 of LNCS, pages 94–109, Springer Berlin Heidelberg, 2001.