Treffer: Policy iteration for value set analysis of PLC programs
Titel:
Policy iteration for value set analysis of PLC programs / Marcus Völker ; Berichter: Prof. Dr.-Ing. Stefan Kowalewski; Prof. Dr. rer. nat. Bernhard Beckert
Beteiligt:
Körperschaft:
Veröffentlicht:
Aachen : RWTH Aachen University, Department of Computer Science, 2023
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
1 Online-Ressource (176 Seiten, 2,41 MB) : Diagramme
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Aachener Informatik-Berichte (AIB) ; 2023, 01
Technical report / Department of Computer Science, RWTH Aachen
Technical report / Department of Computer Science, RWTH Aachen
Anmerkungen:
Literaturverzeichnis: Seite 153-160
Schlagworte:
DOI:
10.18154/RWTH-2023-04281