Hochschulschrift | Online-Publikation
Model checking combined Z and statechart specifications
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Techn. Univ., Diss., 2003
- Klassifikation
-
Informatik
- Schlagwort
-
Model Checking
Statechart
Z
Verifikation
Formale Methode
- Urheber
- URN
-
urn:nbn:de:kobv:83-opus-5300
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:53 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
Ähnliche Objekte (12)
Model checking pushdown systems
Easy instances for model checking
Model checking abstract state machines
Model checking of duration calculus specifications
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Model-checking problems, machines and parameterized complexity
Monotonicity checking
Directed and Distributed Model Checking of B-Specifications
Composition of hierarchic default specifications
Translating formal specifications into behavioural hardware descriptions
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Animating and model checking B specifications with higher order recursive functions
Model checking pushdown systems
Easy instances for model checking
Model checking abstract state machines
Model checking of duration calculus specifications
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Model-checking problems, machines and parameterized complexity
Monotonicity checking
Directed and Distributed Model Checking of B-Specifications
Composition of hierarchic default specifications
Translating formal specifications into behavioural hardware descriptions
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Animating and model checking B specifications with higher order recursive functions
Model checking pushdown systems
Easy instances for model checking
Model checking abstract state machines
Model checking of duration calculus specifications
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Model-checking problems, machines and parameterized complexity
Monotonicity checking
Directed and Distributed Model Checking of B-Specifications
Composition of hierarchic default specifications
Translating formal specifications into behavioural hardware descriptions
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications