Verification of the IEEE 1394.1 panic protocol with formal methods

  • C.J.G. van der Stap

Scriptie/Masterproef: Master

Datum prijs30 apr. 2007
Originele taalEngels
BegeleiderJ.M.T. Romijn (Afstudeerdocent 1), Ruurd Kuiper (Afstudeerdocent 2) & Michel A. Reniers (Afstudeerdocent 2)

Citeer dit

'