Deriving a State Model of a Control Program by Symbolic Execution

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	16th IEEE International Conference on Industrial Informatics (INDIN'18)
Pages	754-759
Number of pages	6
ISBN (Electronic)	9781538648292
DOIs	https://doi.org/10.1109/INDIN.2018.8472013
Publication status	Published - Jul 2018

Fields of science

@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 -