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

Start Over

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

Showing 31 - 37 of 37 results

Search Results

Cover image for Hardware and software

Hardware and software

by International Haifa Verification Conference
2011
Format: Electronic

Location
Access Content Online

Cover image for Verified software

Verified software

by VSTTE 2010
2010
Format: Electronic

Location
Access Content Online

Cover image for CONCUR '98

CONCUR '98

by International Conference on Concurrency Theory
1998
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.58 .I53 1998	✔ Available

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 CONCUR '97

CONCUR '97

by International Conference on Concurrency Theory
1997
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.58 .I53 1997	✔ Available

Cover image for Leveraging applications of formal methods, verification, and validation

Leveraging applications of formal methods, verification, and validation

2012
Format: Electronic

Location
Access Content Online

Cover image for Runtime verification

Runtime verification

by RV 2009
2009
Format: Electronic

Location
Access Content Online