Result: Policy iteration for value set analysis of PLC programs

*Title*:

Policy iteration for value set analysis of PLC programs / Marcus Völker ; Stefan Kowalewski, Bernhard Beckert

*Author/editor-in-chief*:

*Publication*:

Aachen : Universitätsbibliothek der RWTH Aachen, 2023

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Aachen. RWTH Aachen University, 2023 (Aachener Informatik-Berichte (AIB); 2023-01)

*Dissertation note*:

Dissertation, RWTH Aachen University, 2023

*Subject Added Keywords*:

*DOI*:

10.18154/RWTH-2023-04281

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