Timed k-Tail: Automatic Inference of Timed Automata.

Fabrizio Pastore, Daniela Micucci, Leonardo Mariani

Browse the full ICST paper archive.