![](/img/cover-not-exists.png)
Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance
Legat, Christoph, Mund, Jakob, Campetelli, Alarico, Hackenberg, Georg, Folmer, Jens, Schütz, Daniel, Broy, Manfred, Vogel-Heuser, BirgitVolume:
62
Language:
english
Journal:
at - Automatisierungstechnik
DOI:
10.1515/auto-2014-1126
Date:
January, 2014
File:
PDF, 483 KB
english, 2014