A
Menu
January 01, 2026 article Open access Aachen paper

Comparison between static analysis and model checking in the design of automation systems

Control Engineering Practice

DOI: 10.18154/rwth-2026-03036 Full text (OA) OpenAlex

Authors 5

  1. Aron Schnakenbeck
  2. Robin Mroß Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  3. Marcus Völker Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  4. Stefan Kowalewski Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  5. Alexander Fay

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 0