- Sprache
-
Englisch
- Identifier
-
1120985013
- Thema
-
Verifikation ; Kausalität ; Temporale Logik; Hochschulschrift
- Beteiligte Personen und Organisationen
-
Kupriyanov, Andrey
Finkbeiner, Bernd
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 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
- Monografie
Beteiligte
- Kupriyanov, Andrey
- Finkbeiner, Bernd
Ähnliche Objekte (12)
Verification-based software-fault detection
Verification-based software-fault detection
Verification-based software-fault detection
Abstraction-based verification of parameterized networks
Knowledge-based verification of service compositions
Induction-based Verification of Timed Systems
SAT-Based Scalable Formal Verification Solutions
Improving coverage in simulation-based verification
Estimation and model-based combination of causality networks
Estimation and model-based combination of causality networks
System verification tools based on monadic logics
Analogy in verification of state-based specifications
Verification-based software-fault detection
Verification-based software-fault detection
Verification-based software-fault detection
Abstraction-based verification of parameterized networks
Knowledge-based verification of service compositions
Induction-based Verification of Timed Systems
SAT-Based Scalable Formal Verification Solutions
Improving coverage in simulation-based verification
Estimation and model-based combination of causality networks
Estimation and model-based combination of causality networks
System verification tools based on monadic logics
Analogy in verification of state-based specifications
Verification-based software-fault detection
Verification-based software-fault detection
Verification-based software-fault detection
Abstraction-based verification of parameterized networks
Knowledge-based verification of service compositions
Induction-based Verification of Timed Systems
SAT-Based Scalable Formal Verification Solutions
Improving coverage in simulation-based verification
Estimation and model-based combination of causality networks
Estimation and model-based combination of causality networks
System verification tools based on monadic logics