Login / Signup
Formal Technical Process Specification and Verification for Automated Production Systems.
Georg Hackenberg
Alarico Campetelli
Christoph Legat
Jakob Mund
Sabine Teufl
Birgit Vogel-Heuser
Published in:
SAM (2014)
Keyphrases
</>
production system
production process
formal methods
model checking
formal specification
production line
formal verification
high level
control structure
multistage
specification languages
neural network
operational semantics
semi automated
development process
process model
test cases
information systems