Login / Signup
Towards a Formal Specification Framework for Manufacturing Execution Systems.
Maria Witsch
Birgit Vogel-Heuser
Published in:
CoRR (2022)
Keyphrases
</>
formal specification
formal methods
specification language
object oriented design
cooperative
distributed systems
real world
knowledge based systems
model checking
concurrent systems
specification languages