Result: Symbolic methods for formal verification of industrial control software

*Title*:

Symbolic methods for formal verification of industrial control software / Dimitri Bohlender ; Stefan Kowalewski, Holger Hermanns

*Author/editor-in-chief*:

*Publication*:

Aachen : Universitätsbibliothek der RWTH Aachen, 2021

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Aachen. RWTH Aachen University, 2021 (Aachener Informatik-Berichte; 2021-11)

*Dissertation note*:

Dissertation, RWTH Aachen University, 2021

*Subject Added Keywords*:

*DOI*:

10.18154/RWTH-2021-10633

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