Search Results
Showing 1 - 10 of 281 results
Search Results
Specification and compositional verification of real-time systems
Joyner Library
- General Stacks
Call Number:
QA76.54.H66 1991
Formal methods for real-time computing
Joyner Library
- General Stacks
Call Number:
QA76.54 .F64 1996
Future data bus requirements for laboratory high speed data acquisition systems
Joyner Library
- Fed Docs Stacks
Call Number:
ER 1.11:TID-27621