A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay. A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. In 21st IEEE International Conference on Industrial Informatics, INDIN 2023, Lemgo, Germany, July 18-20, 2023. pages 1-7, IEEE, 2023. [doi]

This author has not been identified. Look up 'Aron Schnakenbeck' in GoogleThis author has not been identified. Look up 'Robin Mroß' in GoogleThis author has not been identified. Look up 'Marcus Völker' in GoogleThis author has not been identified. Look up 'Stefan Kowalewski' in GoogleThis author has not been identified. Look up 'Alexander Fay' in Google

runs on WebDSL