Search Results
Showing 1 - 10 of 179 results
Search Results
/LC.GIF&client=easterncarolinaedu)
Program verification
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 F73 1992 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Verification of sequential and concurrent programs
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 A67 1991 | ✔ Available |
Formal design and verification of a reliable computing platform for real-time control
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:102716 | ✔ Available |
Guideline for software verification and validation plans
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs Stacks | C 13.52:132 | ✔ Available |
Reference information for the software verification and validation process
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | C 13.10:500-234 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Automatic verification of sequential infinite-state processes
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.76.V47 B87 1997 | ✔ Available |
Validation, verification, and testing of computer software
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs Stacks | C 13.10:500-75 | ✔ Available |