David Cummings is an author at Jet Propulsion Laboratory specializing in computer engineering, formal verification, and system software.
Top concepts
EngineeringFault ToleranceSystem SoftwareComputer ScienceSoftware SystemsOperating SystemsParallel ComputingDistributed SystemsFormal VerificationSystems Engineering
Publications per year
2002–2002
1
1
Rows per page
1–1 of 1