Legat, Christoph, Mund, Jakob, Campetelli, Alarico, Hackenberg, Georg, Folmer, Jens, Schütz, Daniel, Broy, Manfred and Vogel-Heuser, Birgit. "Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance"
at - Automatisierungstechnik, vol. 62, no. 11, 2014, pp. 815-825.
https://doi.org/10.1515/auto-2014-1126Legat, C., Mund, J., Campetelli, A., Hackenberg, G., Folmer, J., Schütz, D., Broy, M. & Vogel-Heuser, B. (2014). Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.
at - Automatisierungstechnik,
62(11), 815-825.
https://doi.org/10.1515/auto-2014-1126Legat, C., Mund, J., Campetelli, A., Hackenberg, G., Folmer, J., Schütz, D., Broy, M. and Vogel-Heuser, B. (2014) Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance. at - Automatisierungstechnik, Vol. 62 (Issue 11), pp. 815-825.
https://doi.org/10.1515/auto-2014-1126Legat, Christoph, Mund, Jakob, Campetelli, Alarico, Hackenberg, Georg, Folmer, Jens, Schütz, Daniel, Broy, Manfred and Vogel-Heuser, Birgit. "Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance"
at - Automatisierungstechnik 62, no. 11 (2014): 815-825.
https://doi.org/10.1515/auto-2014-1126Legat C, Mund J, Campetelli A, Hackenberg G, Folmer J, Schütz D, Broy M, Vogel-Heuser B. Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.
at - Automatisierungstechnik. 2014;62(11): 815-825.
https://doi.org/10.1515/auto-2014-1126