Result: Symbolic methods for formal verification of industrial control software

*Title*:

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

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Aachen : RWTH Aachen University, 2021

*Distribution*:

Hannover : Technische Informationsbibliothek (TIB)

*Physical description scale*:

1 Online-Ressource (210 Seiten, 1,49 MB) : Diagramme

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Aachener Informatik-Berichte ; 2021, 11
Technical report / Department of Computer Science, RWTH Aachen

*Notes*:

Literaturverzeichnis: Seite 161-178

*Subject Added Keywords*:

*DOI*:

10.18154/RWTH-2021-10633

*Result*: Symbolic methods for formal verification of industrial control software