Specifying and proving properties of timed I/O automata in the TIOA toolkit.

Myla Archer Hongping Lim Nancy A. Lynch Sayan Mitra Shinya Umeno

Published in: MEMOCODE (2006)

Keyphrases

timed automata
response time
finite state machines
finite state
finite state automata
databases
artificial intelligence
database systems
petri net
structural properties
data transfer
topological properties