Search Results
Showing 1 - 10 of 472 results
Search Results
A bitvectors library for PVS
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:110274 | ✔ Available |
An elementary tutorial on formal specification and verification using PVS
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:108991 | ✔ Available |
A survey of provably correct fault-tolerant clock synchronization techniques
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:100553 | ✔ Available |
An introduction to requirements capture using PVS
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:110255 | ✔ Available |
The SURE reliability analysis program
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:87593 | ✔ Available |
The art of fault-tolerant system reliability modeling
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:102623 | ✔ Available |