Bibliographic Details
| Title: |
A case study in abstraction using E-LOTOS and the FireWire. |
| Authors: |
Shankland, Carron, Verdejo, Alberto, Quemada, J. |
| Source: |
Computer Networks. Nov2001, Vol. 37 Issue 3/4, p481. 22p. 2 Black and White Photographs, 5 Diagrams. |
| Subjects: |
LOTOS (Computer program language), International Organization for Standardization, Computer buses |
| Abstract: |
Examines the use of International Organization for Standardization standard Enhancements to Language Temporary of Ordering Specification (E-LOTOS) to describe the leader election protocol of IEEE 1394 serial multimedia bus. Features of E-LOTOS; Applicability of E-LOTOS to protocol description; Verification techniques and tools for E-LOTOS. |
| Database: |
Engineering Source |
