"Computer software+Verification." - ECU Libraries Catalog

Start Over

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

Showing 91 - 100 of 180 results

Search Results

Cover image for Formal modeling

Formal modeling

2011
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification

Computer Aided Verification

2006
Format: Electronic

Location
Access Content Online

Cover image for Extensions of the UNITY methodology

Extensions of the UNITY methodology

by Rao, Josyula Ramachandra, 1962-
1995
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
2003
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.V47 C38 2003	✔ 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
2011
Format: Electronic

Location
Access Content Online

Cover image for Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

by Yoeli, Michael, 1917-
2008
Format: Electronic

Location
Access Content Online

Cover image for Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

by TACAS (Conference)
2014
Format: Electronic

Location
Access Content Online

Cover image for 2006 IEEE International High Level Design Validation and Test Workshop

2006 IEEE International High Level Design Validation and Test Workshop

2006
Format: Electronic

Location
Access Content Online

Cover image for Runtime verification

Runtime verification

by RV 2008
2008
Format: Electronic

Location
Access Content Online

Cover image for Concurrency, Graphs and Models

Concurrency, Graphs and Models

2008
Format: Electronic

Location
Access Content Online