PLC-statecharts: An approach to integrate UML-statecharts in open-loop control engineering - Aspects on behavioral semantics and model-checking

Daniel Witsch, Birgit Vogel-Heuser

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

48 Scopus citations

Fingerprint

Dive into the research topics of 'PLC-statecharts: An approach to integrate UML-statecharts in open-loop control engineering - Aspects on behavioral semantics and model-checking'. Together they form a unique fingerprint.

Keyphrases

Computer Science