Hochschulschrift | Online-Publikation
Model checking abstract state machines
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Techn. Univ., Diss., 2001
- Schlagwort
-
Abstrakte Zustandsmaschine
Model Checking
Entscheidungsgraph
Formale Spezifikationstechnik
Verifikation
- Urheber
-
Winter, Kirsten
- URN
-
urn:nbn:de:kobv:83-opus-3255
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 MEZ
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
- Online-Publikation
Beteiligte
- Winter, Kirsten
Ähnliche Objekte (12)
Abstract state machines : verification problems and complexity
Model-checking problems, machines and parameterized complexity
Semantics-directed generation of compilers and abstract machines
Model Checking UML State Machines and Collaborations
Verification of abstract state machines
Model checking timed UML state machines and collaborations
Monotonicity checking
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Model checking pushdown systems
Abstract state machines : verification problems and complexity
Easy instances for model checking
Abstract state machines : verification problems and complexity
Model-checking problems, machines and parameterized complexity
Semantics-directed generation of compilers and abstract machines
Model Checking UML State Machines and Collaborations
Verification of abstract state machines
Model checking timed UML state machines and collaborations
Monotonicity checking
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Model checking pushdown systems
Abstract state machines : verification problems and complexity
Easy instances for model checking
Abstract state machines : verification problems and complexity
Model-checking problems, machines and parameterized complexity
Semantics-directed generation of compilers and abstract machines
Model Checking UML State Machines and Collaborations
Verification of abstract state machines
Model checking timed UML state machines and collaborations
Monotonicity checking
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Model checking pushdown systems
Abstract state machines : verification problems and complexity