"Computer programs+Verification." - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

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

Showing 51 - 60 of 97 results

Search Results

Cover image for Software design improvements

Software design improvements

by Lalli, Vincent R.
1997
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

by International Workshop on Formal Methods for Industrial Critical Systems
2008
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

by International Workshop on Formal Methods for Industrial Critical Systems
2009
Format: Electronic

Location
Access Content Online

Cover image for An introduction to requirements capture using PVS

An introduction to requirements capture using PVS

by Butler, Ricky W.
1996
Format: Electronic

Location
Access Content Online

Cover image for An introduction to requirements capture using PVS

An introduction to requirements capture using PVS

by Butler, Ricky W.
1996
Format: Book

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

Cover image for Development of a flight software testing methodology

Development of a flight software testing methodology

by McCluskey, Edward J., 1929-
1985
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

by International Workshop on Formal Methods for Industrial Critical Systems
2010
Format: Electronic

Location
Access Content Online

Cover image for A comparison of software verification techniques

A comparison of software verification techniques

1985
Format: Book

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

Cover image for Hardware and software

Hardware and software

by International Haifa Verification Conference
2011
Format: Electronic

Location
Access Content Online

Cover image for Enhancing aeropropulsion research with high-speed interactive computing

Enhancing aeropropulsion research with high-speed interactive computing

by Szuch, John R.
1991
Format: Microform

Location
Access Content Online