22 citations · 36 across the 6 of their papers we have counts for
1 paper · 2 filters
Aron Schnakenbeck, Robin Mroß, Marcus Völker +2
The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a static analysis approach based on the control…