A Component-Based Approach to Hybrid Systems Safety Verification.

Andreas Mller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Andr Platzer

Browse the full IFM paper archive.