Automatic Generation of Path Conditions for Timed Systems.

Saddek Bensalem Doron A. Peled Hongyang Qu Stavros Tripakis

Published in: ISoLA (Preliminary proceedings) (2004)

Keyphrases

complex systems
neural network
real time
artificial intelligence
management system
sufficient conditions
petri net
database
data mining
relational databases
intelligent systems
building blocks
environmental conditions