Login / Signup

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.

Ehsan KhamespanahZeynab Sabahi-KavianiRamtin KhosraviMarjan SirjaniMohammad-Javad Izadi
Published in: AGERE!@SPLASH (2012)
Keyphrases
  • genetic algorithm
  • artificial intelligence
  • image processing
  • image segmentation
  • multiscale
  • pattern recognition
  • markov chain
  • petri net
  • quantitative analysis
  • automatic analysis