Timed Automata with Asynchronous Processes: Schedulability and Decidability.

Elena Fersman Paul Pettersson Wang Yi

Published in: TACAS (2002)

Keyphrases

timed automata
model checking
reachability analysis
stochastic processes
description logics
theorem prover
information retrieval
information systems
low cost
query answering
theorem proving