Realizability of Real-Time Logics.

Laurent Doyen Gilles Geeraerts Jean-François Raskin Julien Reichert

Published in: FORMATS (2009)

Keyphrases

real time
modal logic
control system
low cost
high speed
databases
data mining
database systems
face recognition
multiscale
moving objects
real time systems