Downloadable Content

Download PDF
Analytics

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-03-15 17:18:03 -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
User Activity Date
User Scholars Archive Admin has attached GroceAlexElectricalEngineeringComputerScienceEstablishingFlightSoftware.pdf to Establishing Flight Software Reliability: Testing, Model Checking, Constraint-Solving, Monitoring and Learning October 27th, 2017 10:43