A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “PLC programming” 1

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Model Checking Generated Control Code for Consistency with its Specification in IEC 60848 GRAFCET
2024 IFAC-PapersOnLine article Computer Science Formal Methods in Verification Open access

Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski

2

citations

1 result