Treffer: Policy iteration for value set analysis of PLC programs

Titel:

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

Beteiligt:

Veröffentlicht:

Aachen : Universitätsbibliothek der RWTH Aachen, 2023

Umfang:

1 Online-Ressource

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

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

Hochschulschrift:

Dissertation, RWTH Aachen University, 2023

Schlagworte:

DOI:

10.18154/RWTH-2023-04281

Zusatz-Informationen