Login / Signup

Timed verification of hierarchical communicating real-time state machines.

Angelo FurfaroLibero Nigro
Published in: Comput. Stand. Interfaces (2007)
Keyphrases
  • state machines
  • petri net
  • real time
  • state machine
  • colored petri nets
  • model checking
  • neural network
  • formal methods
  • real time systems
  • recurrent networks
  • sequence diagrams
  • verification method