h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Schnakenbeck, Aron
AU  - Mroß, Robin
AU  - Völker, Marcus
AU  - Kowalewski, Stefan
AU  - Fay, Alexander
TI  - Comparison between static analysis and model checking in the design of automation systems
JO  - Control engineering practice
VL  - 171
SN  - 1873-6939
CY  - Amsterdam [u.a.]
PB  - Elsevier Science
M1  - RWTH-2026-03036
SP  - 106813
PY  - 2026
LB  - PUB:(DE-HGF)16
UR  - <Go to ISI:>//WOS:001698725900001
DO  - DOI:10.1016/j.conengprac.2026.106813
UR  - https://publications.rwth-aachen.de/record/1030470
ER  -