Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines.

Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana

Browse the full WETICE paper archive.