Certificates for automata in a hostile environment

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource, 500 Seiten
Language
Englisch
Notes
Braunschweig, Technische Universität Braunschweig, Dissertation, 2023

Keyword
Verifikation
Programmverifikation
Model Checking
Formale Methode
Nebenläufigkeit
Softwarespezifikation

Event
Veröffentlichung
(where)
Braunschweig
(who)
Technische Universität Braunschweig
(when)
2024
Creator
Contributor
Meyer, Roland
Holík, Lukáš
Zetzsche, Georg

URN
urn:nbn:de:gbv:084-2024022909345
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:49 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Time of origin

  • 2024

Other Objects (12)