- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Techn. Univ., Diss., 2003
- Identifier
-
969489188
Thema
Model Checking ; Statechart ; Z ; Verifikation ; Formale Methode ; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Model checking abstract state machines
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
Cryptographically sound analysis of security protocols
Formal methods for real-time requirements engineering
Model-checking problems, machines and parameterized complexity
Incomplete property checking for asynchronous reactive systems
Software verification for programmable logic controllers
Formale Fehlerbaumanalyse
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Developing concepts and methods for module and integration tests for models of reactive systems
Model checking abstract state machines
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
Cryptographically sound analysis of security protocols
Formal methods for real-time requirements engineering
Model-checking problems, machines and parameterized complexity
Incomplete property checking for asynchronous reactive systems
Software verification for programmable logic controllers
Formale Fehlerbaumanalyse
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
Developing concepts and methods for module and integration tests for models of reactive systems
Model checking abstract state machines
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
Cryptographically sound analysis of security protocols
Formal methods for real-time requirements engineering
Model-checking problems, machines and parameterized complexity
Incomplete property checking for asynchronous reactive systems
Software verification for programmable logic controllers
Formale Fehlerbaumanalyse
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis