- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Event
-
Veröffentlichung
- (where)
-
Darmstadt
- (who)
-
Universitäts- und Landesbibliothek
- (when)
-
2021
- Creator
- DOI
-
10.26083/tuprints-00017856
- URN
-
urn:nbn:de:tuda-tuprints-178566
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.06.2026, 10:50 AM CEST
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
- Rollshausen, Nils
- Universitäts- und Landesbibliothek
Time of origin
- 2021
Other Objects (12)
Towards cooperative software verification with test generation and formal verification
Formal verification for ALICA plans
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Formal verification methodologies for nonlinear analog circuits
Modelling Memory Consistency Models for Formal Verification
Formal methods for hardware verification : advanced lectures
Formal verification methodologies for nonlinear analog circuits
Formal Specification and Verification for Automated Production Systems
Design of a Formal Estelle Semantics for Verification
Formal verification of pipelined microprocessors
Towards cooperative software verification with test generation and formal verification
Formal verification for ALICA plans
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Formal verification methodologies for nonlinear analog circuits
Modelling Memory Consistency Models for Formal Verification
Formal methods for hardware verification : advanced lectures
Formal verification methodologies for nonlinear analog circuits
Formal Specification and Verification for Automated Production Systems
Design of a Formal Estelle Semantics for Verification
Formal verification of pipelined microprocessors
Towards cooperative software verification with test generation and formal verification
Formal verification for ALICA plans
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Formal verification methodologies for nonlinear analog circuits
Modelling Memory Consistency Models for Formal Verification
Formal methods for hardware verification : advanced lectures
Formal verification methodologies for nonlinear analog circuits
Formal Specification and Verification for Automated Production Systems
Design of a Formal Estelle Semantics for Verification