Tool Supported Specification and Verification of Highly Available Applications
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2020
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern
- (wann)
-
2021
- Urheber
- Beteiligte Personen und Organisationen
-
Poetzsch-Heffter, Arnd
- URN
-
urn:nbn:de:hbz:386-kluedo-65755
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:49 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
- Zeller, Peter
- Poetzsch-Heffter, Arnd
- Technische Universität Kaiserslautern
Entstanden
- 2021
Ähnliche Objekte (12)
Highly Available Foreman: A presentation about Highly Available Foreman including common pitfalls and decisions you'll have to make
Proving the safety of highly-available distributed objects
State machine replication for highly available service networks
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Verification of relational programs supported by theorem provers
Highly Automated Formal Verification of Arithmetic Circuits
Formal specification and verification : structures and techniques
Formal specification and verification of a microkernel
Inverter and Controller for Highly Available Permanent Magnet Synchronous Drives
Inverter and controller for highly available permanent magnet synchronous drives
Highly Available Foreman: A presentation about Highly Available Foreman including common pitfalls and decisions you'll have to make
Proving the safety of highly-available distributed objects
State machine replication for highly available service networks
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Verification of relational programs supported by theorem provers
Highly Automated Formal Verification of Arithmetic Circuits
Formal specification and verification : structures and techniques
Formal specification and verification of a microkernel
Inverter and Controller for Highly Available Permanent Magnet Synchronous Drives
Inverter and controller for highly available permanent magnet synchronous drives
Highly Available Foreman: A presentation about Highly Available Foreman including common pitfalls and decisions you'll have to make
Proving the safety of highly-available distributed objects
State machine replication for highly available service networks
Specification and verification of concurrent systems
Process theory: semantics, specification and verification
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Verification of relational programs supported by theorem provers
Highly Automated Formal Verification of Arithmetic Circuits
Formal specification and verification : structures and techniques
Formal specification and verification of a microkernel
Inverter and Controller for Highly Available Permanent Magnet Synchronous Drives