"Computer programs+Verification." - ECU Libraries Catalog

Start Over

You searched for: subject "Computer programs+Verification."

Showing 91 - 98 of 98 results

Search Results

Cover image for Leveraging applications of formal methods, verification, and validation

Leveraging applications of formal methods, verification, and validation

2012
Format: Electronic

Location
Access Content Online

Cover image for A criteria standard for conflict resolution

A criteria standard for conflict resolution

2010
Format: Electronic

Location
Access Content Online

Cover image for Summary of EASM turbulence models in CFL3D with validation test cases

Summary of EASM turbulence models in CFL3D with validation test cases

by Rumsey, C. L., 1961-
2003
Format: Electronic

Location
Access Content Online

Cover image for Summary of EASM turbulence models in CFL3D with validation test cases

Summary of EASM turbulence models in CFL3D with validation test cases

by Rumsey, C. L., 1961-
2003
Format: Microform

Location	Call #	Status
Joyner - Microforms B300	NAS 1.15:2003-212431	✔ Available

Cover image for Formal design and verification of a reliable computing platform for real-time control

Formal design and verification of a reliable computing platform for real-time control

by Butler, Ricky W.
1994
Format: Book

Location	Call #	Status
Joyner - Microforms B300	NAS 1.15:109140	✔ Available

Cover image for Java software development with event B

Java software development with event B

by Cataño Collazos, Nestor, 1975-
2020
Format: Electronic

Location
Access Content Online

Cover image for Comparison of free-piston Stirling engine model predictions with RE1000 engine test data

Comparison of free-piston Stirling engine model predictions with RE1000 engine test data

by Tew, Roy C.
1984
Format: Microform

Location	Call #	Status
Joyner - Microforms B300	NAS 1.15:83650	✔ Available

Cover image for Runtime verification

Runtime verification

by RV 2009
2009
Format: Electronic

Location
Access Content Online