Hybride Systeme
Kontakt
Leitung
Sekretariat
Hybride Systeme
![[Titelbild]](uploads/RTEmagicC_ea6d27e215.jpg.jpg)
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
- Small Workshop on Interval Methods (SWIM) 2012 in Oldenburg
- Sonderforschungsbereich/Transregio 14 AVACS