On timed components and their abstraction.

Ramzi Ben Salah Marius Bozga Oded Maler

Published in: SAVCBS (2007)

Keyphrases

petri net
neural network
high level
markov chain
data sets
computer vision
knowledge base
web services
wide range
search algorithm
software components