Reading Length
Home
Speed Tests
Login
John Rushby
Identifiers
Open Library
OL4662988A
Top Subjects
Clock synchronization algorithm (1)
Computer software -- Verification (1)
Computer software -- Validation (1)
Books by John Rushby
Total count: 2
Formal verification of a fault tolerant clock synchronization algorithm
Langley Research Center
1989-01-01
Formal methods and their role in digital systems validation for airborne systems
Available from the National Technical Information Service
1995-01-01
