"Computer systems+Verification.+Congresses." - ECU Libraries Catalog

Start Over

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

Showing 1 - 10 of 23 results

Search Results

Cover image for Dependable software systems engineering

Dependable software systems engineering

by NATO Advanced Study Institute on Dependable Software Systems Engineering
2015
Format: Electronic

Location
Access Content Online

Cover image for Hardware and software, verification and testing

Hardware and software, verification and testing

by International Haifa Verification Conference
2006
Format: Electronic

Location
Access Content Online

Cover image for Hardware and software, verification and testing

Hardware and software, verification and testing

by International Haifa Verification Conference
2007
Format: Electronic

Location
Access Content Online

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 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 Reachability problems

Reachability problems

by RP 2011
2011
Format: Electronic

Location
Access Content Online

Cover image for Reachability problems

Reachability problems

by RP 2009
2009
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for real-time and probabilistic systems

Formal methods for real-time and probabilistic systems

by International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
1999
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.54 .I53 1999	✔ 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 Tenth International Conference on VLSI Design

Tenth International Conference on VLSI Design

by International Conference on VLSI Design
1997
Format: Electronic

Location
Access Content Online