- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2024
- Schlagwort
-
Verifikation
Formale Spezifikationstechnik
Blockchain
Kryptologie
Datensicherung
Systementwurf
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
KIT-Bibliothek
- (wann)
-
2025
- Urheber
-
Schiffl, Jonas
- Beteiligte Personen und Organisationen
-
Beckert, Bernhard
Ahrendt, Wolfgang
- DOI
-
10.5445/IR/1000177645
- URN
-
urn:nbn:de:101:1-2501150401457.852745420169
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:24 MESZ
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
- Schiffl, Jonas
- Beckert, Bernhard
- Ahrendt, Wolfgang
- KIT-Bibliothek
Entstanden
- 2025
Ähnliche Objekte (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