Treffer: Symbolic methods for formal verification of industrial control software
Titel:
Symbolic methods for formal verification of industrial control software / Dimitri Bohlender ; Berichter: Prof. Dr.-Ing. Stefan Kowalewski, Prof. Dr.-Ing. Holger Hermanns ; RWTH Aachen University, Department of Computer Science
Beteiligt:
Körperschaft:
Veröffentlicht:
Aachen : RWTH Aachen University, 2021
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
1 Online-Ressource (210 Seiten, 1,49 MB) : Diagramme
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Aachener Informatik-Berichte ; 2021, 11
Technical report / Department of Computer Science, RWTH Aachen
Technical report / Department of Computer Science, RWTH Aachen
Anmerkungen:
Literaturverzeichnis: Seite 161-178
Schlagworte:
DOI:
10.18154/RWTH-2021-10633