Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
AIT Austrian Institute of Technology Home
Hilfe und FAQ
Deutsch
English
Home
Profile
Forschungsgruppen
Publikationen
Forschungsdatensätze
Auszeichnungen
Aktivitäten
Nach Expertise, Namen oder Zugehörigkeit suchen
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%
Execution Trace
33%
Model Checking Problem
16%
Concurrent System
16%
Variable Value
16%