Sprungmarken

Zum Inhalt springen. Zur Brotkrumen-Navigation springen. Zur Navigation springen. Zur Uni-globalen Navigation springen. Web-Impressum der Universität.
Carl von Ossietzky Universität Oldenburg.

Navigationsmenü

Hybride Systeme
  • Mitarbeiter
  • Lehre
  • Studentische Arbeiten
  • Publikationen
Sie sind hier: Home. Fk.. Fk. II. Informatik. Hybr. Syst.

Technische Informatik - Hybride Systeme

[Titelbild]

  • 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

  • Small Workshop on Interval Methods (SWIM) 2012 in Oldenburg
  • Projektgruppe MIPSwarm

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


 

Hilfe. Suche. Impressum. Schriftgröße. Seite empfehlen. Druckversion. Andreas Eggers. Stand: 16.05.2013

Globale Navigation der Universität:
  • Startseite
  • Suche
  • Die Universität
  • Aktuelles
  • Studium
  • Forschung
  • Fakultäten
  • Einrichtungen
  • Weiterbildung