Certificates for automata in a hostile environment

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource, 500 Seiten
Sprache
Englisch
Anmerkungen
Braunschweig, Technische Universität Braunschweig, Dissertation, 2023

Schlagwort
Verifikation
Programmverifikation
Model Checking
Formale Methode
Nebenläufigkeit
Softwarespezifikation

Ereignis
Veröffentlichung
(wo)
Braunschweig
(wer)
Technische Universität Braunschweig
(wann)
2024
Urheber
Beteiligte Personen und Organisationen
Meyer, Roland
Holík, Lukáš
Zetzsche, Georg

URN
urn:nbn:de:gbv:084-2024022909345
Rechteinformation
Open Access; 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.

Beteiligte

Entstanden

  • 2024

Ähnliche Objekte (12)