Technische Informatik - Hybride Systeme
-
Leitung
Prof. Dr. M. Fränzle
Tel.: +49-441-9722 566
-
Sekretariat
Kathrin Kuper
Tel.: +49-441-9722 501
Fax: +49-441-9722 502
Aktuelles
Direct Links
- Download iSAT or its predecessor HySAT
- Download SiSAT
- First AVACS Spring School on "Automatic Verification and Analysis of Complex Systems" in Oldenburg, 15-19 March 2010
- Handouts CAV07 Tutorial on Verification of Hybrid Systems
- Sonderforschungsbereich/Transregio 14 AVACS