Modeling Urgency in Timed Systems.

Sébastien Bornot Joseph Sifakis Stavros Tripakis

Published in: COMPOS (1997)

Keyphrases

building blocks
systems require
computer vision
management system
databases
neural network
real world
feature selection
decision making
image processing
similarity measure
complex systems
modeling method