Foundations and Applications of Systems of Cyber-Physical Systems
Kontakt
Leitung
Sekretariat
Foundations and Applications of Systems of Cyber-Physical Systems
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