- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Düsseldorf, Heinrich-Heine-Universität, Dissertation, 2017
- Event
-
Veröffentlichung
- (where)
-
Düsseldorf
- (who)
-
Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf
- (when)
-
2018
- Creator
- Contributor
-
Leuschel, Michael
Williams, David
- URN
-
urn:nbn:de:hbz:061-20180417-080739-0
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:56 AM CEST
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.
Associated
- Dobrikov, Ivaylo Miroslavov
- Leuschel, Michael
- Williams, David
- Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf
Time of origin
- 2018
Other Objects (12)
Improving explicit model checking for Petri nets
Explicit state model checking in the development process for interlocking software systems
Directed Explicit Model Checking with HSF-SPIN
Directed explicit state-space search in the generation of counterexamples for stochastic model checking
Towards Infinite-State Symbolic Model Checking for B and Event-B
Liveness checking as safety checking for infinite state spaces
Model checking abstract state machines
Directed explicit-statemodel checking in the validation of communication protocols
Explicit state space verification
Explicit state space verification
Reconstructing invisible deviating events: A conformance checking approach for recurring events
Improving conformance checking in process modelling: a multiperspective algorithm
Improving explicit model checking for Petri nets
Explicit state model checking in the development process for interlocking software systems
Directed Explicit Model Checking with HSF-SPIN
Directed explicit state-space search in the generation of counterexamples for stochastic model checking
Towards Infinite-State Symbolic Model Checking for B and Event-B
Liveness checking as safety checking for infinite state spaces
Model checking abstract state machines
Directed explicit-statemodel checking in the validation of communication protocols
Explicit state space verification
Explicit state space verification
Reconstructing invisible deviating events: A conformance checking approach for recurring events
Improving conformance checking in process modelling: a multiperspective algorithm
Improving explicit model checking for Petri nets
Explicit state model checking in the development process for interlocking software systems
Directed Explicit Model Checking with HSF-SPIN
Directed explicit state-space search in the generation of counterexamples for stochastic model checking
Towards Infinite-State Symbolic Model Checking for B and Event-B
Liveness checking as safety checking for infinite state spaces
Model checking abstract state machines
Directed explicit-statemodel checking in the validation of communication protocols
Explicit state space verification
Explicit state space verification
Reconstructing invisible deviating events: A conformance checking approach for recurring events