- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Ulm : Fachbereich Informatik, Universität Ulm. 1999
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2021
- Urheber
- URN
-
urn:nbn:de:bvb:384-opus4-843219
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:36 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
- Schellhorn, Gerhard
- Universität Augsburg
Entstanden
- 2021
Ähnliche Objekte (12)
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Interactive verification of UML state machines
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and computational power
Formal Product Families for Abstract Machines
Concurrent abstract state machines
Semantics of UML state machines
Model checking abstract state machines
Abstract State Machines for the Classroom
An Introduction to Abstract State Machines
Activity-driven synthesis of state machines
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Interactive verification of UML state machines
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and computational power
Formal Product Families for Abstract Machines
Concurrent abstract state machines
Semantics of UML state machines
Model checking abstract state machines
Abstract State Machines for the Classroom
An Introduction to Abstract State Machines
Activity-driven synthesis of state machines
Abstract state machines : verification problems and complexity
Abstract state machines : verification problems and complexity
Interactive verification of UML state machines
Abstract state machines : verification problems and computational power
Abstract state machines : verification problems and computational power
Formal Product Families for Abstract Machines
Concurrent abstract state machines
Semantics of UML state machines
Model checking abstract state machines
Abstract State Machines for the Classroom
An Introduction to Abstract State Machines