Product-Line Verification of Safety-Critical Software

Project

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

Website: 
www.cs.iastate.edu
Duration: 
2007-01-01 to 2010-12-31
Award Amount: 
$450,000.00
Principal Investigator(s): 
Robyn Lutz
Category: 
Grants
Tags: 
PI: Robyn Lutz