Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
AIT Austrian Institute of Technology Home
Hilfe und FAQ
!!Link opens in a new tab
Deutsch
English
Inhalt suchen unter AIT Austrian Institute of Technology
Home
Profile
Forschungsgruppen
Publikationen
Forschungsdatensätze
Auszeichnungen
Aktivitäten
Hypernode automata
Ezio Bartocci
, Marek Chalupa
, Thomas A. Henzinger
,
Dejan Nickovic
, Ana Oliveira da Costa
TU Wien
Institute of Science and Technology Austria
Publikation
:
Beitrag in Fachzeitschrift
›
Artikel
›
Begutachtung
Übersicht
Fingerprint
Fingerprint
Untersuchen Sie die Forschungsthemen von „Hypernode automata“. Zusammen bilden sie einen einzigartigen Fingerprint.
sortieren
Gewicht:
Alphabetisch
Computer Science
Automaton
100%
Concurrent System
16%
Execution Trace
33%
Model Checking Problem
16%
Variable Value
16%