Downloadable Content

Download PDF

GroceAlexElectricalEngineeringComputerScienceEstablishingFlightSoftware.pdf Public

File Details

Depositor
Scholars Archive Admin
Date Uploaded
Date Modified
2017-10-27
Fixity Check
passed 2 Files with 2 total versions checked 2024-05-15 17:18:46 -0700
Characterization
File Format: pdf (Portable Document Format)
File Title: Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
Page Count: 38
File Size: 866858
Original Checksum: 8dc05aae12307aa0a797cc4ef34dd16a
Mime Type: application/pdf