Treffer: Symbolic methods for formal verification of industrial control software
Titel:
Symbolic methods for formal verification of industrial control software / Dimitri Bohlender ; Stefan Kowalewski, Holger Hermanns
Beteiligt:
Veröffentlicht:
Aachen : Universitätsbibliothek der RWTH Aachen, 2021
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Aachen. RWTH Aachen University, 2021 (Aachener Informatik-Berichte; 2021-11)
Hochschulschrift:
Dissertation, RWTH Aachen University, 2021
Schlagworte:
DOI:
10.18154/RWTH-2021-10633