Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains.

Published in: ICTAC (2019)

Keyphrases

real time systems
timed automata
real time
distributed systems
embedded systems
real time database systems
finite state machines
model checking
mission critical
real time embedded
timing constraints
anytime algorithms
finite automata
embedded real time systems
architectural model
low cost
database systems