- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kiel, Univ., Diss., 2003
- Klassifikation
-
Informatik
- Schlagwort
-
Parametrisiertes System
Transitionssystem
Verifikation
Model Checking
Lebendigkeit
Fairness
- Urheber
-
Baukus, Kai
- URN
-
urn:nbn:de:gbv:8-diss-7492
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 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
Beteiligte
- Baukus, Kai
Ähnliche Objekte (12)
Abstraction-based verification of parameterized networks
Graph grammar verification through abstraction
Exploring the limits of parameterized system verification
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Mechanical Verification of Parameterized Real-Time Systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Cartesian abstraction and verification of multithreaded programs
Formal abstraction and verification of analog circuits
Outside the Box : Abstraction-Based Monitoring of Neural Networks
Graph-Based Procedural Abstraction
Abstraction-based verification of parameterized networks
Graph grammar verification through abstraction
Exploring the limits of parameterized system verification
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Mechanical Verification of Parameterized Real-Time Systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Cartesian abstraction and verification of multithreaded programs
Formal abstraction and verification of analog circuits
Outside the Box : Abstraction-Based Monitoring of Neural Networks
Graph-Based Procedural Abstraction
Abstraction-based verification of parameterized networks
Graph grammar verification through abstraction
Exploring the limits of parameterized system verification
Exploring the limits of parameterized system verification
Parameterized verification and repair of concurrent systems
Mechanical Verification of Parameterized Real-Time Systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Cartesian abstraction and verification of multithreaded programs
Formal abstraction and verification of analog circuits
Outside the Box : Abstraction-Based Monitoring of Neural Networks