Hochschulschrift
Abstract state machines : verification problems and computational power
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Aachen, Techn. Hochsch., Diss., 2004
- Klassifikation
-
Informatik
- Schlagwort
-
Abstrakte Zustandsmaschine
Verifikation
Formale Methode
Entscheidbarkeit
Berechenbarkeit
Program Slicing
- Urheber
- URN
-
urn:nbn:de:hbz:82-opus-9383urn:nbn:de:hbz:82-20042019
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 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
Beteiligte
Ähnliche Objekte (12)
Abstract state machines : verification problems and computational power
Verification of abstract state machines
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Interactive verification of UML state machines
Model checking abstract state machines
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Distributed Abstract State Machines and Their Expressive Power
Refinement and implementation techniques for Abstract State Machines
Refinement and implementation techniques for abstract state machines
Composing web-service-like abstract state machines (ASM)
Abstract state machines : verification problems and computational power
Verification of abstract state machines
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Interactive verification of UML state machines
Model checking abstract state machines
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Distributed Abstract State Machines and Their Expressive Power
Refinement and implementation techniques for Abstract State Machines
Refinement and implementation techniques for abstract state machines
Composing web-service-like abstract state machines (ASM)
Abstract state machines : verification problems and computational power
Verification of abstract state machines
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Interactive verification of UML state machines
Model checking abstract state machines
An Introduction to Abstract State Machines
Abstract State Machines for the Classroom
Distributed Abstract State Machines and Their Expressive Power
Refinement and implementation techniques for Abstract State Machines
Refinement and implementation techniques for abstract state machines