Result: Policy iteration for value set analysis of PLC programs

*Title*:

Policy iteration for value set analysis of PLC programs / Marcus Völker ; Berichter: Prof. Dr.-Ing. Stefan Kowalewski; Prof. Dr. rer. nat. Bernhard Beckert

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Aachen : RWTH Aachen University, Department of Computer Science, 2023

*Distribution*:

Hannover : Technische Informationsbibliothek (TIB)

*Physical description scale*:

1 Online-Ressource (176 Seiten, 2,41 MB) : Diagramme

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Aachener Informatik-Berichte (AIB) ; 2023, 01
Technical report / Department of Computer Science, RWTH Aachen

*Notes*:

Literaturverzeichnis: Seite 153-160

*Subject Added Keywords*:

*DOI*:

10.18154/RWTH-2023-04281

*Result*: Policy iteration for value set analysis of PLC programs