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

Search Results

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

Investigation of specification measures for the Software Engineering Laboratory

  • 1984
  • Format: Book
Location Call # Status
Joyner - Microforms B300 NAS 1.15:88591 ✔ Available
Joyner - Microforms B300 NAS 1.15:88591 ✔ Available
Joyner - Microforms B300 NAS 1.15:88591 ✔ Available
Cover image for Tenth International Conference on VLSI Design

Tenth International Conference on VLSI Design

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

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

Location
Access Content Online
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 Computer aided verification

Computer aided verification

Location Call # Status
Joyner - General Stacks QA76.76.V47 C38 1997 ✔ Available
Cover image for Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Location
Access Content Online
Cover image for Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software

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 Call # Status
Joyner - Microforms B300 NAS 1.15:210864 ✔ Available