Verification of the IEEE 1394.1 panic protocol with formal methods

  • C.J.G. van der Stap

Student thesis: Master

Abstract

Date of Award30 Apr 2007
Original languageEnglish
SupervisorJ.M.T. Romijn (Supervisor 1), Ruurd Kuiper (Supervisor 2) & Michel A. Reniers (Supervisor 2)

Cite this

'