- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2021
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
KIT-Bibliothek
- (wann)
-
2021
- Urheber
-
Weigl, Alexander
- Beteiligte Personen und Organisationen
-
Beckert, B.
- DOI
-
10.5445/IR/1000140942
- URN
-
urn:nbn:de:101:1-2021122204023164080066
- 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.
Beteiligte
- Weigl, Alexander
- Beckert, B.
- KIT-Bibliothek
Entstanden
- 2021
Ähnliche Objekte (12)
Formal Verification in Automated Manufacturing
Formal verification in automated manufacturing
Formal specification and verification : structures and techniques
Formal specification and verification of a microkernel
Highly Automated Formal Verification of Arithmetic Circuits
Formal verification and automated masking of cryptographic hardware
Formal methods and automated verification of critical systems
Formal Specification and Verification of Knowledge and its Application
Formal Specification, Testing and Verification on the Truck Simulation
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
A uniform framework for the formal specification and verification of information flow security
A uniform framework for the formal specification and verification of information flow security
Formal Verification in Automated Manufacturing
Formal verification in automated manufacturing
Formal specification and verification : structures and techniques
Formal specification and verification of a microkernel
Highly Automated Formal Verification of Arithmetic Circuits
Formal verification and automated masking of cryptographic hardware
Formal methods and automated verification of critical systems
Formal Specification and Verification of Knowledge and its Application
Formal Specification, Testing and Verification on the Truck Simulation
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
A uniform framework for the formal specification and verification of information flow security
A uniform framework for the formal specification and verification of information flow security
Formal Verification in Automated Manufacturing
Formal verification in automated manufacturing
Formal specification and verification : structures and techniques
Formal specification and verification of a microkernel
Highly Automated Formal Verification of Arithmetic Circuits
Formal verification and automated masking of cryptographic hardware
Formal methods and automated verification of critical systems
Formal Specification and Verification of Knowledge and its Application
Formal Specification, Testing and Verification on the Truck Simulation
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
A uniform framework for the formal specification and verification of information flow security