"Computer Software+Verification." - ECU Libraries Catalog

Start Over

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

Showing 81 - 90 of 180 results

Search Results

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 Trust and Trustworthy Computing

Trust and Trustworthy Computing

2012
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
2005
Format: Electronic

Location
Access Content Online

Cover image for Trustworthy global computing

Trustworthy global computing

by TGC 2005
2005
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.A25 T46 2005	✔ Available

Cover image for Formal methods

Formal methods

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

Location
Access Content Online

Cover image for Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence

by van der Meyden, Ron
2011
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification

Computer Aided Verification

by Damm, Werner
2007
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification

Computer Aided Verification

by Gupta, Aarti
2008
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification

Computer Aided Verification

by Gopalakrishnan, Ganesh
2011
Format: Electronic

Location
Access Content Online

Cover image for Software and systems safety

Software and systems safety

2011
Format: Electronic

Location
Access Content Online