Aron Schnakenbeck | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Alexander Fay
14 publications
Stefan Kowalewski
6 publications
Robin Mroß
2 publications
Marcus Völker
2 publications

research

∙ 07/20/2023

Structural Analysis of GRAFCET Control Specifications

The graphical modeling language GRAFCET is used as a formal specificatio...

0 Aron Schnakenbeck, et al. ∙

research

∙ 06/02/2023

A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation

The graphical modeling language GRAFCET is used as a formal specificatio...

0 Aron Schnakenbeck, et al. ∙