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]

Authors

Sebastian Preuße

This author has not been identified. Look up 'Sebastian Preuße' in Google

Hans-Michael Hanisch

This author has not been identified. Look up 'Hans-Michael Hanisch' in Google