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

Search Results

Cover image for 25 years of model checking

25 years of model checking

  • 2008
  • Format: Electronic
Location
Access Content Online
Cover image for Reachability problems

Reachability problems

  • by RP 2011
  • 2011
  • Format: Electronic
Location
Access Content Online
Cover image for Reachability problems

Reachability problems

  • by RP 2009
  • 2009
  • Format: Electronic
Location
Access Content Online
Cover image for 2018 IEEE 3rd International Verification and Security Workshop (IVSW)

2018 IEEE 3rd International Verification and Security Workshop (IVSW)

Location
Access Content Online
Cover image for Formal methods for real-time and probabilistic systems

Formal methods for real-time and probabilistic systems

Joyner Library - General Stacks
Call Number: QA76.54 .I53 1999
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

Joyner Library - Microforms B300
Call Number: View Items
Cover image for Development of a flight software testing methodology

Development of a flight software testing methodology

Location
Access Content Online
Cover image for Industrial used of formal method

Industrial used of formal method

  • 2012
  • Format: Book
Joyner Library - General Stacks
Call Number: TA168 .I45 2012
Cover image for Verification and validation in systems engineering

Verification and validation in systems engineering

  • 2010
  • Format: Electronic
Location
Access Content Online