Login / Signup

Composability Verification of Real Time System Models Using Colored Petri Nets.

Imran MahmoodRassul AyaniVladimir VlassovFarshad Moradi
Published in: UKSim (2013)
Keyphrases
  • real time
  • colored petri nets
  • petri net
  • databases
  • low cost
  • complex systems
  • statistical models
  • parametric models
  • database
  • real world
  • machine learning
  • decision trees
  • model selection
  • statistical model
  • experimental data