Documents An Open Framework for Certified System Software

An Open Framework for Certified System Software Xinyu Feng Yale University Why Certified Software? Ariane 5 Mars Polar Lander Mars climate orbiter Something More Relevant…

Documents An Open Framework for Certified System Software Xinyu Feng Yale University.

An Open Framework for Certified System Software Xinyu Feng Yale University Why Certified Software? Ariane 5 Mars Polar Lander Mars climate orbiter Something More Relevant…