Monografie
Developing concepts and methods for module and integration tests for models of reactive systems
- Sprache
-
Englisch
- Anmerkungen
-
Dortmund, Univ., Diss., 2000
- Identifier
-
96051838X
Thema
Reaktives System ; Systementwurf ; Model Checking ; Statechart ; Formale Semantik ; Temporale Logik ; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
Kyeyune, Yusufu
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
- Kyeyune, Yusufu
Ähnliche Objekte (12)
Verification of reactive systems : formal methods and algorithms
Model checking pushdown systems
Systems and software verification : model checking techniques and tools
Zum modellbasierten funktionalen Test reaktiver Systeme
Formale Fehlerbaumanalyse
Verification in the hierarchical development of reactive systems
Verifying real-time systems
Combining specification methods for distributed systems
Integration of graph transformation and temporal logic for the specification of distributed systems
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems
Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen : formale Basis und Beiträge zur Theorie
Verification of reactive systems : formal methods and algorithms
Model checking pushdown systems
Systems and software verification : model checking techniques and tools
Zum modellbasierten funktionalen Test reaktiver Systeme
Formale Fehlerbaumanalyse
Verification in the hierarchical development of reactive systems
Verifying real-time systems
Combining specification methods for distributed systems
Integration of graph transformation and temporal logic for the specification of distributed systems
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems
Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen : formale Basis und Beiträge zur Theorie
Verification of reactive systems : formal methods and algorithms
Model checking pushdown systems
Systems and software verification : model checking techniques and tools
Zum modellbasierten funktionalen Test reaktiver Systeme
Formale Fehlerbaumanalyse
Verification in the hierarchical development of reactive systems
Verifying real-time systems
Combining specification methods for distributed systems
Integration of graph transformation and temporal logic for the specification of distributed systems
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
The theory and practice of runtime reflection : a model-based framework for dynamic analysis of distributed reactive systems