Real-Time Migration Properties of rTiMo Verified in Uppaal.

Bogdan Aman Gabriel Ciobanu

Published in: SEFM (2013)

Keyphrases

real time
low cost
model checking
real time systems
desirable properties
databases
information retrieval
genetic algorithm
image processing
image segmentation
expert systems
high speed