Login / Signup

Towards a Formal Specification Framework for Manufacturing Execution Systems.

Maria WitschBirgit 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