Login / Signup

Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.

Kyungmin BaePeter Csaba ÖlveczkyThomas Huining FengStavros Tripakis
Published in: ICFEM (2009)
Keyphrases
  • real time
  • event models
  • event recognition
  • low level
  • model checking
  • video processing