Test generation from SDL-specifications using partial-order reduction methods

  • Sjoerd Roorda

Student thesis: Master

Abstract

Date of Award31 Oct 1993
Original languageEnglish
SupervisorC.J. Koomen (Supervisor 1)

Cite this

'