"Computer systems+Verification." - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

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

Showing 31 - 40 of 51 results

Search Results

Cover image for Verification techniques for system-level design

Verification techniques for system-level design

by Fujita, Masahiro, 1956-
2008
Format: Electronic

Location
Access Content Online

Cover image for Investigation of specification measures for the Software Engineering Laboratory

Investigation of specification measures for the Software Engineering Laboratory

1984
Format: Book

Joyner Library - Microforms B300

Call Number: View Items

Cover image for A methodology for the design and verification of globally asynchronous/locally synchronous architectures

A methodology for the design and verification of globally asynchronous/locally synchronous architectures

2005
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

Cover image for Reachability problems

Reachability problems

by RP 2010
2010
Format: Electronic

Location
Access Content Online

Cover image for 2008 IEEE International Workshop on Hardware-Oriented Security and Trust, Anaheim, CA, 9 June 2008

2008 IEEE International Workshop on Hardware-Oriented Security and Trust, Anaheim, CA, 9 June 2008

by IEEE International Workshop on Hardware-Oriented Security and Trust
2008
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
1997
Format: Book

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)
2012
Format: Electronic

Location
Access Content Online

Cover image for Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software

by Beckert, Bernhard
2011
Format: Electronic

Location
Access Content Online

Cover image for On the formal verification of conflict detection algorithms

On the formal verification of conflict detection algorithms

2001
Format: Microform

Location
Access Content Online