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

Search Results

Cover image for Kodiak

Kodiak

Location
Access Content Online
Cover image for A methodology for evaluating artifacts produced by a formal verification process

A methodology for evaluating artifacts produced by a formal verification process

Location
Access Content Online
Cover image for Concurrency, Graphs and Models

Concurrency, Graphs and Models

  • 2008
  • Format: Electronic
Location
Access Content Online
Cover image for Achieving agreement in three rounds with bounded-Byzantine faults

Achieving agreement in three rounds with bounded-Byzantine faults

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
Cover image for The cleanroom case study in the Software Engineering Laboratory

The cleanroom case study in the Software Engineering Laboratory

  • 1990
  • Format: Microform
Location Call # Status
Joyner - Microforms B300 NAS 1.15:103390 ✔ Available
Cover image for MODIS Information, Data, and Control System (MIDACS) operations concepts

MODIS Information, Data, and Control System (MIDACS) operations concepts

  • by Han, D.
  • 1988
  • Format: Electronic
Location
Access Content Online
Cover image for MODIS Information, Data, and Control System (MIDACS) operations concepts

MODIS Information, Data, and Control System (MIDACS) operations concepts

  • 1988
  • Format: Microform
Location Call # Status
Joyner - Microforms B300 NAS 1.15:100721 ✔ Available
Cover image for Software analysis handbook

Software analysis handbook

  • 1994
  • Format: Book
Location Call # Status
Joyner - Microforms B300 NAS 1.15:104799 ✔ Available
Cover image for Baseline assessment and prioritization framework for IVHM integrity assurance enabling capabilities

Baseline assessment and prioritization framework for IVHM integrity assurance enabling capabilities

  • 2009
  • Format: Electronic
Location
Access Content Online