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

Search Results

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

Location Call # Status
Joyner - General Stacks QA76.54 .I53 1999 ✔ Available
Cover image for 25 years of model checking

25 years of model checking

  • 2008
  • Format: Electronic
Location
Access Content Online
Cover image for Enhancing aeropropulsion research with high-speed interactive computing

Enhancing aeropropulsion research with high-speed interactive computing

Location Call # Status
Joyner - Microforms B300 NAS 1.15:104374 ✔ Available
Cover image for Applications of neural networks in high assurance systems

Applications of neural networks in high assurance systems

  • 2010
  • Format: Electronic
Location
Access Content Online
Cover image for Experiences with Cray multi-tasking

Experiences with Cray multi-tasking

Location Call # Status
Joyner - Microforms B300 NAS 1.15:88200 ✔ Available
Joyner - Microforms B300 NAS 1.15:88200 ✔ Available
Joyner - Microforms B300 NAS 1.15:88200 ✔ Available
Cover image for Industrial used of formal method

Industrial used of formal method

  • 2012
  • Format: Book
Location Call # Status
Joyner - General Stacks TA168 .I45 2012 ✔ Available
Cover image for Verification and validation in systems engineering

Verification and validation in systems engineering

  • 2010
  • Format: Electronic
Location
Access Content Online
Cover image for Verification techniques for system-level design

Verification techniques for system-level design

Location
Access Content Online
Cover image for Development of a flight software testing methodology

Development of a flight software testing methodology

Location
Access Content Online