Valéry Tschaen

Publication Activity (10 Years)

Years Active: 2003-2004
Publications (10 Years): 0

Publications

Valéry Tschaen
Test Generation Algorithms Based on Preorder Relations. Model-Based Testing of Reactive Systems (2004)
Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet
From Safety Verification to Safety Testing. TestCom (2004)
Thieny Eron, Hervé Marchand, Vlad Rusu, Valéry Tschaen
Ensuring the conformance of reactive discrete-event systems using supervisory control. CDC (2003)