Verification of the IEEE 1394.1 panic protocol with formal methods

  • C.J.G. van der Stap

Student thesis: Master

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

Cite this

Documents

  • full text

    File: application/pdf, 579 KB

    Type: Thesis

'