Algebraic Techniques for Timed Systems.

Albert Benveniste Claude Jard Stephane Gaubert

Published in: CONCUR (1998)

Keyphrases

artificial intelligence
intelligent systems
complex systems
data sets
neural network
computer vision
expert systems
computer systems
machine learning
genetic algorithm
social networks
decision making
digital libraries
real time systems