A Aralex Aachen research explorer

September 01, 2016 conference-paper

Static analysis of Sequential Function Charts using abstract interpretation

IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

DOI: 10.1109/etfa.2016.7733648 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 4

A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Logic, programming, and type systems

4

citations
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems Open access

0

citations

2 results

References 0