Login / Signup

Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers.

Khaled El-FakihGregor v. Bochmann
Published in: IEEE Trans. Software Eng. (2021)
Keyphrases
  • state machines
  • state machine
  • petri net
  • recurrent networks
  • control system
  • data structure
  • real time
  • relational databases
  • d objects