- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Electronic Communications of the EASST- ECEASST ; 10/04
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2008
- Urheber
-
Kumar, Rahul
Mercer, Eric G
- URN
-
urn:nbn:de:kobv:83-opus-19843
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:22 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kumar, Rahul
- Mercer, Eric G
- Technische Universität Berlin
Entstanden
- 2008
Ähnliche Objekte (12)
Runtime verification of railway applications with extended live sequence charts
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Applications of automata learning in verification and synthesis
Applications of automata learning in verification and synthesis
Configurable verification of timed automata with discrete variables
Syntactic Analysis of Message Sequence Chart Specifications
Timing Constraints in Message Sequence Chart Specifications
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Formal Verification of Algorithms for Automata and Model Checking
An Automata-Theoretic Approach to Open Actor System Verification
New results on probabilistic verification : automata, logic and satisfiability
Runtime verification of railway applications with extended live sequence charts
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Applications of automata learning in verification and synthesis
Applications of automata learning in verification and synthesis
Configurable verification of timed automata with discrete variables
Syntactic Analysis of Message Sequence Chart Specifications
Timing Constraints in Message Sequence Chart Specifications
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Formal Verification of Algorithms for Automata and Model Checking
An Automata-Theoretic Approach to Open Actor System Verification
New results on probabilistic verification : automata, logic and satisfiability
Runtime verification of railway applications with extended live sequence charts
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Applications of automata learning in verification and synthesis
Applications of automata learning in verification and synthesis
Configurable verification of timed automata with discrete variables
Syntactic Analysis of Message Sequence Chart Specifications
Timing Constraints in Message Sequence Chart Specifications
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
Formal Verification of Algorithms for Automata and Model Checking
An Automata-Theoretic Approach to Open Actor System Verification