Product-Line Verification of Safety-Critical Software

Duration:
-

Product-Line Verification of Safety-Critical Software (awarded to Jet Propulsion Laboratory) . NASA

Funding Organization

www.cs.iastate.edu

Award Amount

$450,000

Principal Investigator

Robyn Lutz