Hochschulschrift
An Automata-Theoretic Approach to Open Actor System Verification
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kaiserslautern, Technische Universität Kaiserslautern, Diss., 2015
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern
- (wann)
-
2015
- Urheber
-
Kurnia, Ilham W.
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:hbz:386-kluedo-40180
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:20 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Kurnia, Ilham W.
- Poetzsch-Heffter, Arnd
- Technische Universität Kaiserslautern
Entstanden
- 2015
Ähnliche Objekte (12)
Complexity-theoretic aspects of expanding cellular automata
Rational verification: game-theoretic verification of multi-agent systems
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Automata-Theoretic Criteria for Feature Interactions in Telecommunications Systems
Structural Subsumption Considered from an Automata-Theoretic Point of View
Applications of automata learning in verification and synthesis
Applications of automata learning in verification and synthesis
Configurable verification of timed automata with discrete variables
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
An automata theoretic approach to modular diagnosis of discrete-event systems
Descriptive set theoretic methods in automata theory : decidability and topological complexity
Complexity-theoretic aspects of expanding cellular automata
Rational verification: game-theoretic verification of multi-agent systems
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Automata-Theoretic Criteria for Feature Interactions in Telecommunications Systems
Structural Subsumption Considered from an Automata-Theoretic Point of View
Applications of automata learning in verification and synthesis
Applications of automata learning in verification and synthesis
Configurable verification of timed automata with discrete variables
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
An automata theoretic approach to modular diagnosis of discrete-event systems
Descriptive set theoretic methods in automata theory : decidability and topological complexity
Complexity-theoretic aspects of expanding cellular automata
Rational verification: game-theoretic verification of multi-agent systems
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Automata-Theoretic Criteria for Feature Interactions in Telecommunications Systems
Structural Subsumption Considered from an Automata-Theoretic Point of View
Applications of automata learning in verification and synthesis
Applications of automata learning in verification and synthesis
Configurable verification of timed automata with discrete variables
Formal verification of infinite-state systems : one-counter machines, register automata, and timed automata
An automata theoretic approach to modular diagnosis of discrete-event systems