Hochschulschrift
Refinement and implementation techniques for abstract state machines
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
VI, 110 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Ulm, Univ., Diss., 2002
- Keyword
-
Abstrakte Zustandsmaschine
Abstrakte Zustandsmaschine
Abstrakte Zustandsmaschine
- Creator
-
Schmid, Joachim
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:14 PM CET
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
- Schmid, Joachim
Other Objects (12)
Refinement and implementation techniques for Abstract State Machines
Advances in automata implementation techniques (Abstract)
New techniques for abstraction refinement
Abstraction refinement techniques for software model checking
Refinement techniques in software engineering : revised lectures
Formal model refinement : from specification to implementation
Model checking abstract state machines
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
Abstract Petri nets : uniform approach and rule based refinement
An Introduction to Abstract State Machines
Refinement and implementation techniques for Abstract State Machines
Advances in automata implementation techniques (Abstract)
New techniques for abstraction refinement
Abstraction refinement techniques for software model checking
Refinement techniques in software engineering : revised lectures
Formal model refinement : from specification to implementation
Model checking abstract state machines
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
Abstract Petri nets : uniform approach and rule based refinement
An Introduction to Abstract State Machines
Refinement and implementation techniques for Abstract State Machines
Advances in automata implementation techniques (Abstract)
New techniques for abstraction refinement
Abstraction refinement techniques for software model checking
Refinement techniques in software engineering : revised lectures
Formal model refinement : from specification to implementation
Model checking abstract state machines
Diagrams: tropes, tools, abstract machines
Verification of abstract state machines
Introduction to languages, machines and logic : computable machines, abstract machines and formal logic
Abstract Petri nets : uniform approach and rule based refinement