Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata.

Lars Luthmann Hendrik Göttmann Malte Lochau

Published in: FACS (2019)

Keyphrases

timed automata
finite state machines
input output
cellular automata
petri net
main memory
databases
finite automata
garbage collection
real time
secondary storage
lattice gas
disk allocation