An Automatic Technique for Checking the Simulation of Timed Systems.

Elie Fares Jean-Paul Bodeveix Mamoun Filali-Amine Manuel Garnacho

Published in: ATVA (2013)

Keyphrases

management system
complex systems
neural network
distributed systems
knowledge based systems
computer vision
database systems
search algorithm
multi agent systems
simulation tools
semi automatic
question answering
building blocks
e learning
social networks
artificial intelligence
genetic algorithm
machine learning