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

De Gruyter Oldenbourg | Published online: October 28, 2014