AMT: A Property-Based Monitoring Tool for Analog Systems.

Dejan Nickovic Oded Maler

Published in: FORMATS (2007)

Keyphrases

distributed systems
database
real time
data sets
genetic algorithm
artificial intelligence
expert systems
learning systems
neural network
data mining
management system
computer systems
knowledge based systems
complex systems
user friendly