Login / Signup

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.

Kyungmin BaePeter Csaba ÖlveczkyThomas Huining FengEdward A. LeeStavros Tripakis
Published in: Sci. Comput. Program. (2012)
Keyphrases
  • real time
  • event models
  • image classification
  • object detection
  • human body
  • model checking