Verification and simulation of the transport system architecture using formal specification techniques

  • Peter J.J. Bessems

Student thesis: Master

Abstract

Date of Award31 Aug 1988
Original languageEnglish
SupervisorC.J. Koomen (Supervisor 1)

Cite this

'