"Computer systems+Verification." - ECU Libraries Catalog

Start Over

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

Showing 11 - 20 of 51 results

Search Results

Cover image for Proving operating systems correct

Proving operating systems correct

by Karp, Richard Alan
1982
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.6 .K348 1982	✔ Available

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 Augmented environments for computer-assisted interventions

Augmented environments for computer-assisted interventions

by AE-CAI (Workshop)
2012
Format: Electronic

Location
Access Content Online

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 Second NASA Formal Methods Workshop, 1992

Second NASA Formal Methods Workshop, 1992

by NASA Formal Methods Workshop
1992
Format: Book

Location	Call #	Status
Joyner - Microforms B300	NAS 1.55:10110	✔ Available

Cover image for Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence

by MoChArt 2008
2009
Format: Electronic

Location
Access Content Online

Cover image for 2018 IEEE 3rd International Verification and Security Workshop (IVSW)

2018 IEEE 3rd International Verification and Security Workshop (IVSW)

by IEEE Staff
2018
Format: Electronic

Location
Access Content Online

Cover image for Reachability problems

Reachability problems

by RP 2011
2011
Format: Electronic

Location
Access Content Online