Login / Signup
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.
Ehsan Khamespanah
Zeynab Sabahi-Kaviani
Ramtin Khosravi
Marjan Sirjani
Mohammad-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