Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems.

Abdelli Abdelkrim

Published in: Acta Cybern. (2012)

Keyphrases

real time
state space
management system
telecommunication systems
distributed systems
intelligent systems
knowledge based systems
real time systems
image sequences
data structure
dynamic programming
learning systems
complex systems
retrieval systems
human machine interface
cell processor