Yuri A. Yushtein

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Wan J. Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein
Refinement and Verification Applied to an In-Flight Data Acquisition Unit. CONCUR (2002)