• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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