"Computer systems+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 systems+Verification."

Showing 11 - 20 of 51 results

Search Results

Cover image for A comparison of software verification techniques

A comparison of software verification techniques

1985
Format: Book

Joyner Library - Microforms B300

Call Number: View Items

Cover image for Model checking and artificial intelligence

Model checking and artificial intelligence

by MoChArt IV
2007
Format: Electronic

Location
Access Content Online

Cover image for Verification and control of hybrid systems

Verification and control of hybrid systems

by Tabuada, Paulo
2009
Format: Electronic

Location
Access Content Online

Cover image for Functional verification of programmable embedded architectures

Functional verification of programmable embedded architectures

by Mishra, Prabhat, 1973-
2005
Format: Electronic

Location
Access Content Online

Cover image for Second NASA Formal Methods Workshop, 1992

Second NASA Formal Methods Workshop, 1992

by NASA Formal Methods Workshop
1992
Format: Book

Joyner Library - Microforms B300

Call Number: NAS 1.55:10110

Cover image for NASA software engineering benchmarking study

NASA software engineering benchmarking study

by Rarick, Heather L.
2013
Format: Electronic

Location
Access Content Online

Cover image for Reachability problems

Reachability problems

by RP (Workshop)
2012
Format: Electronic

Location
Access Content Online

Cover image for Engineering dependable software systems

Engineering dependable software systems

by NATO Advanced Study Institute on Engineering Dependable Software Systems
2013
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

Cover image for Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence

by MoChArt 2008
2009
Format: Electronic

Location
Access Content Online