View in EDS

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

Saved in:

Bibliographic Details
Title:	Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.
Authors:	Legat, Christoph¹, Mund, Jakob², Campetelli, Alarico², Hackenberg, Georg², Folmer, Jens¹, Schütz, Daniel¹, Broy, Manfred², Vogel-Heuser, Birgit¹
Source:	Automatisierungstechnik; Nov2014, Vol. 62 Issue 11, p815-825, 11p
Database:	Applied Science & Technology Source

Description
ISSN:	01782312
DOI:	10.1515/auto-2014-1126