Sciweavers

ECBS
2009
IEEE
114views Hardware» more  ECBS 2009»
14 years 4 months ago
Model-Based Product-Oriented Certification
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
Damian Dechev, Bjarne Stroustrup