1997
Description and formal specification of the link layer of P1394
Publication
Publication
We give a formal specification in $mu$CRL of the Link Layer as described in the IEEE document ``P1394 Standard for a High Performance Serial Bus''; this specification may serve as a starting point for further verification.
Additional Metadata | |
---|---|
, , | |
, | |
CWI | |
Software Engineering [SEN] | |
Luttik, B. (1997). Description and formal specification of the link layer of P1394. Software Engineering [SEN]. CWI. |