• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Timed Automata with Asynchronous Processes: Schedulability and Decidability.

Elena FersmanPaul PetterssonWang 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