Valery Tschaen

发表

New Results - Interaction between test, control and verification

Thierry Jéron, Ahmed Khoumsi, Hervé Marchand, 2003 .

Verification models and techniques applied to the Testing and Control of reactive Systems

Bertrand Jeannet, Thierry Jéron, Tristan Le Gall, 2003 .