On the Construction of Live Timed Systems.

Sébastien Bornot Gregor Gößler Joseph Sifakis

Published in: TACAS (2000)

Keyphrases

real time
intelligent systems
learning systems
complex systems
databases
neural network
computer vision
information systems
feature selection
database systems
computer systems
real time systems
construction process
systems require