A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Papers
2
Sort:
Cited
Newest
Oldest
Fwci
Patents
⇩ CSV
Comparison between static analysis and model checking in the design of automation systems
2026
Control Engineering Practice
article
Computer Science
Formal Methods in Verification
Open access
Aron Schnakenbeck
,
Robin Mroß
,
Marcus Völker
,
Stefan Kowalewski
,
Alexander Fay
0
citations
Comparison between static analysis and model checking in the design of automation systems
2026
Control Engineering Practice
article
Computer Science
Formal Methods in Verification
Open access
Aron Schnakenbeck
,
Robin Mroß
,
Marcus Völker
,
Stefan Kowalewski
,
Alexander Fay
0
citations
2 results