An Alternative Definition for Timed Automata Composition.

Jean-Paul Bodeveix Abdeldjalil Boudjadar Mamoun Filali

Published in: ATVA (2011)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
information systems
real time
information retrieval
first order logic
web service composition
real time systems
web services composition