Layered Composition for Timed Automata.

Ernst-Rüdiger Olderog Mani Swaminathan

Published in: FORMATS (2010)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
web service composition
real time
multiscale
hidden markov models
temporal logic
image processing
case study
face recognition
metadata
search engine
music composition