Christoph Legat , Jakob Mund , Alarico Campetelli , Georg Hackenberg , Jens Folmer , Daniel Schütz , Manfred Broy and Birgit Vogel-Heuser

Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance

Schnittstellenverhalten zur Verifikation der funktionalen Korrektheit von industriellen Automatisierungssystemen

De Gruyter Oldenbourg | Published online: October 28, 2014