Login / Signup

A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State Machines.

Sitaram C. V. RajuAlan C. Shaw
Published in: Softw. Pract. Exp. (1994)
Keyphrases
  • real time
  • state machines
  • state machine
  • control system
  • mobile robot
  • real time systems
  • case study
  • knowledge based systems
  • petri net
  • reactive systems