Login / Signup
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.
Ehsan Khamespanah
Marjan Sirjani
Zeynab Sabahi-Kaviani
Ramtin Khosravi
Mohammad-Javad Izadi
Published in:
Sci. Comput. Program. (2015)
Keyphrases
</>
image analysis
data sets
artificial neural networks
statistical analysis
data mining
learning algorithm
image processing
bayesian networks
search algorithm
relational databases
trade off
user interface
petri net
quantitative analysis
automatic analysis