> Detailanzeige

Bogomolov, Sergiy [Verfasser:in]

Abstraction-based analysis of hybrid automata

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book; Hochschulschrift
  • Titel: Abstraction-based analysis of hybrid automata
  • Weitere Titel: abweichender Titel: Übers. des Hauptsacht.: Abstraktions-basierte Analyse von Hybrid-Automaten
    Übers. des Hauptsacht.: Abstraktions-basierte Analyse von Hybrid-Automaten
  • Beteiligte: Bogomolov, Sergiy [Verfasser:in]
  • Erschienen: 2015
  • Umfang: Online-Ressource
  • Sprache: Englisch
  • Identifikator:
  • Schlagwörter: Model Checking > Dynamisches System > Automat
  • Entstehung:
  • Hochschulschrift: Freiburg i. Br., Univ., Diss., 2015
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang