Specification of technical plant behavior with a safety-oriented technical language

Sebastian Preuße, Hans-Michael Hanisch. Specification of technical plant behavior with a safety-oriented technical language. In 7th IEEE International Conference on Industrial Informatics, INDIN 2009, Cardiff, UK, 23-26 June 2009. pages 632-637, IEEE, 2009. [doi]

Abstract

Abstract is missing.