Refinement and Verification Applied to an In-Flight Data Acquisition Unit.

Wan J. Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein

Browse the full CONCUR paper archive.