Hybride Systeme
![[Titelbild]](http://hs.informatik.uni-oldenburg.de/hybrid_system.jpg)
-
Leitung
Prof. Dr. M. Fränzle
Tel.: +49-441-9722 566 -
Sekretariat
Ingeborg Gnoerich
Tel.: +49-441-9722 501
Fax: +49-441-9722 502
Aktuelles
- Handouts CAV07 Tutorial on Verification of Hybrid Systems
- Sonderforschungsbereich/Transregio 14 AVACS
- HySAT