Deriving a State Model of a Control Program by Symbolic Execution

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	16th IEEE International Conference on Industrial Informatics (INDIN'18)
Seiten	754-759
Seitenumfang	6
ISBN (elektronisch)	9781538648292
DOIs	https://doi.org/10.1109/INDIN.2018.8472013
Publikationsstatus	Veröffentlicht - Juli 2018

Wissenschaftszweige

@inproceedings{a3521baeb720485f848d09b0099ffc9c,

title = "Deriving a State Model of a Control Program by Symbolic Execution",

author = "Herbert Pr{\"a}hofer and Thomas B{\"o}hm and Josef Pichler",

year = "2018",

month = jul,

doi = "10.1109/INDIN.2018.8472013",

language = "English",

isbn = "978-1-5386-4828-5",

pages = "754--759",

booktitle = "16th IEEE International Conference on Industrial Informatics (INDIN'18)",

}

TY - GEN

T1 - Deriving a State Model of a Control Program by Symbolic Execution

AU - Prähofer, Herbert

AU - Böhm, Thomas

AU - Pichler, Josef

PY - 2018/7

Y1 - 2018/7

UR - https://www.scopus.com/pages/publications/85055591353

U2 - 10.1109/INDIN.2018.8472013

DO - 10.1109/INDIN.2018.8472013

M3 - Conference proceedings

SN - 978-1-5386-4828-5

SP - 754

EP - 759

BT - 16th IEEE International Conference on Industrial Informatics (INDIN'18)

ER -