Hochschulschrift
An Automata-Theoretic Approach to Open Actor System Verification
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kaiserslautern, Technische Universität Kaiserslautern, Diss., 2015
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern
- (when)
-
2015
- Creator
-
Kurnia, Ilham W.
- Contributor
- URN
-
urn:nbn:de:hbz:386-kluedo-40180
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:20 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Kurnia, Ilham W.
- Poetzsch-Heffter, Arnd
- Technische Universität Kaiserslautern
Time of origin
- 2015
Other Objects (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