- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2024
- Keyword
-
Verifikation
Formale Spezifikationstechnik
Blockchain
Kryptologie
Datensicherung
Systementwurf
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
KIT-Bibliothek
- (when)
-
2025
- Creator
-
Schiffl, Jonas
- Contributor
-
Beckert, Bernhard
Ahrendt, Wolfgang
- DOI
-
10.5445/IR/1000177645
- URN
-
urn:nbn:de:101:1-2501150401457.852745420169
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:24 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
- Schiffl, Jonas
- Beckert, Bernhard
- Ahrendt, Wolfgang
- KIT-Bibliothek
Time of origin
- 2025
Other Objects (12)
Specification and verification of security policies for smart cards
Hybrid multi-agent systems: modeling, specification and verification
Process theory: semantics, specification and verification
Specification and verification of concurrent systems
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Cross-blockchain smart contract interoperability
Formal specification and verification : structures and techniques
Formal specification and verification of a microkernel
Contract-based specification of mode-dependent timing behavior
Tactical contract composition for hybrid system component verification
Systems for computer aided specification, development and verification
Specification and verification of polling real time systems
Specification and verification of security policies for smart cards
Hybrid multi-agent systems: modeling, specification and verification
Process theory: semantics, specification and verification
Specification and verification of concurrent systems
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Cross-blockchain smart contract interoperability
Formal specification and verification : structures and techniques
Formal specification and verification of a microkernel
Contract-based specification of mode-dependent timing behavior
Tactical contract composition for hybrid system component verification
Systems for computer aided specification, development and verification
Specification and verification of polling real time systems
Specification and verification of security policies for smart cards
Hybrid multi-agent systems: modeling, specification and verification
Process theory: semantics, specification and verification
Specification and verification of concurrent systems
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Cross-blockchain smart contract interoperability
Formal specification and verification : structures and techniques
Formal specification and verification of a microkernel
Contract-based specification of mode-dependent timing behavior
Tactical contract composition for hybrid system component verification
Systems for computer aided specification, development and verification