Login / Signup
A Formal Component Concept for the Specification of Industrial Control Systems.
Benjamin Braatz
Markus Klein
Gunnar Schröter
Matthias Bengel
Published in:
SoftSpez Final Report (2004)
Keyphrases
</>
control system
formal specification
formal methods
concept learning
high level
specification language
mathematical theory
industrial applications
case study
description logics
user defined
formal language
technology transfer
reactive systems
specification languages