Herbert Prähofer, Thomas Böhm, Josef Pichler,
"Deriving a State Model of a Control Program by Symbolic Execution"
: 16th IEEE International Conference on Industrial Informatics (INDIN'18), Seite(n) 754-759, 7-2018, ISBN: 978-1-5386-4828-5
Original Titel:
Deriving a State Model of a Control Program by Symbolic Execution
Sprache des Titels:
Englisch
Original Buchtitel:
16th IEEE International Conference on Industrial Informatics (INDIN'18)