Functional qualification of TLM verification.

Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe

Browse the full DATE paper archive.