A Formal Framework for Conformance Testing of Distributed Real-Time Systems.

Moez Krichen

Browse the full OPODIS paper archive.