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

Sebastian Preue, Hans-Michael Hanisch

Browse the full INDIN paper archive.