Login / Signup

Specifying and proving properties of timed I/O automata using Tempo.

Myla ArcherHongping LimNancy A. LynchSayan MitraShinya Umeno
Published in: Des. Autom. Embed. Syst. (2008)
Keyphrases
  • timed automata
  • data sets
  • cellular automata
  • finite state machines
  • database
  • desirable properties
  • file system
  • real time
  • databases
  • information retrieval
  • case study
  • rough sets
  • finite state
  • probabilistic automata