Login / Signup

Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.

Kozo OkanoSatoshi HattoriAkira YamamotoTeruo HigashinoKenichi Taniguchi
Published in: ICPP Workshops (1999)
Keyphrases
  • real time systems
  • high level
  • probabilistic model
  • conceptual model
  • architectural model
  • bayesian networks
  • multi agent
  • model checking
  • reactive systems
  • timed automata