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

Sebastian Preuße Hans-Michael Hanisch

Published in: INDIN (2009)

Keyphrases

wide variety
specification language
technical systems
high level
technical support
control system
programming language
qualitative simulation
databases
machine learning
information systems
natural language processing
formal language
oriented programming