- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Techn. Univ., Diss., 2001
- Identifier
-
963050001
Thema
Abstrakte Zustandsmaschine ; Model Checking ; Entscheidungsgraph ; Formale Spezifikationstechnik ; Verifikation ; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
Winter, Kirsten
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Beteiligte
- Winter, Kirsten
Ähnliche Objekte (12)
Model checking combined Z and statechart specifications
Model checking pushdown systems
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Preprocessing for property checking of sequential circuits on the register transfer level = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene
Model-checking problems, machines and parameterized complexity
Abstract state machines : theory and applications ; international workshop ; proceedings
Abstract state machines : verification problems and complexity
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Software verification for programmable logic controllers
Developing concepts and methods for module and integration tests for models of reactive systems
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Formal methods for real-time requirements engineering
Model checking combined Z and statechart specifications
Model checking pushdown systems
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Preprocessing for property checking of sequential circuits on the register transfer level = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene
Model-checking problems, machines and parameterized complexity
Abstract state machines : theory and applications ; international workshop ; proceedings
Abstract state machines : verification problems and complexity
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Software verification for programmable logic controllers
Developing concepts and methods for module and integration tests for models of reactive systems
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Formal methods for real-time requirements engineering
Model checking combined Z and statechart specifications
Model checking pushdown systems
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Preprocessing for property checking of sequential circuits on the register transfer level = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene
Model-checking problems, machines and parameterized complexity
Abstract state machines : theory and applications ; international workshop ; proceedings
Abstract state machines : verification problems and complexity
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
Software verification for programmable logic controllers
Developing concepts and methods for module and integration tests for models of reactive systems
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction