- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2021
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
KIT-Bibliothek
- (when)
-
2021
- Creator
-
Weigl, Alexander
- Contributor
-
Beckert, B.
- DOI
-
10.5445/IR/1000140942
- URN
-
urn:nbn:de:101:1-2021122204023164080066
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Weigl, Alexander
- Beckert, B.
- KIT-Bibliothek
Time of origin
- 2021
Other Objects (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