|
|
|
|
|
 |
|
LDRA Wins $1 Million Contract in China's Manned Spacecraft Programme
The China Manned Spacecraft Programme (CMSP) selected LDRA, the leading provider of automated software verification tools, and the LDRA tool suite to analyse complex safety-critical applications related to the Tiangong 1 spacecraft. The Tiangong spacecraft, required to meet DO-178B Level-A certification, will carry out space rendezvous and docking experiments that support the overall mission of CM ... |
| |
|
|
|
|
Lees meer
