Login / Signup

Specification and Analysis of Real-Time Systems Using CSP and Petri Nets.

Krishna M. KaviFrederick T. SheldonSherman Reed
Published in: Int. J. Softw. Eng. Knowl. Eng. (1996)
Keyphrases
  • petri net
  • real time systems
  • colored petri nets
  • embedded real time systems
  • real time
  • state machines
  • data analysis
  • fuzzy sets
  • distributed systems
  • computer systems
  • service oriented