Work

Direct Model Checking of PLC Programs in IL

Year: 2009

Type: conference-paper

Source: IFAC Proceedings Volumes

DOI: 10.3182/20090610-3-it-4004.00010

Authors: Bastian Schlich, Jörg Brauer, Jörg Wernerus, Stefan Kowalewski

Institution: RWTH Aachen University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2023255686

FWCI: 3.744

Cites: 18

Cited by: 34

Related to: 10