Login / Signup

Using State Machines for the Visualisation of Specifications via Refinement.

Colin PilbrowSteve Reeves
Published in: ASWEC (2) (2015)
Keyphrases
  • state machines
  • state machine
  • petri net
  • recurrent networks
  • reactive systems
  • sequence diagrams
  • neural network
  • case study
  • social networks
  • recurrent neural networks