A Formal Multi-Layer Test Methodology and its Applications to OSI.

Jean Philippe Favreau, Richard J. Linn Jr., J. Stephen Nightingale

Browse the full FORTE paper archive.