A theory of testing for timed automata

  • Frits Vaandrager
I Invited Lectures Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1214)


We present a generalization of the classic theory of testing for (finite state) Mealy machines to a setting of timed automata in the style of Alur and Dill.

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Frits Vaandrager
    • 1
  1. 1.University of NijmegenThe Netherlands

Personalised recommendations