Stéphane Leriche

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy
Use of PERC Pico in the AIDA avionics platform. JTRES (2009)
Peter H. Schmitt, Isabel Tonin, Claus Wonnemann, Eric Jenn, Stéphane Leriche, James J. Hunt
A case study of specification and verification using JML in an avionics application. JTRES (2006)