BUREAU VERITAS, FRANCE;
SIRENHA, FRANCE;
CEA, FRANCE;
BUREAU VERITAS, FRANCE;
CEA, FRANCE;
Bur. VERITAS, France;
CEA, Gif-sur-Yvette, France;
software reliability; formal verification; marine engineering; program testing; ships;
机译:与荷兰Imtech Marine公司一起安全离岸
机译:更新了海上海洋物流,管理维护软件
机译:Njord Offshore实施海洋软件解决方案
机译:具有正式验证的准则更安全的海洋和海上软件
机译:汉密尔顿银行-霍克海峡地区:有潜力作为海上海洋保护区吗?一项检查近海捕鱼区的物理,生物学,经济和社会特征的研究。
机译:信函:化学疗法处方和生产软件的安全性:建议测试新版本的特定准则
机译:基于正式验证准则的更安全的海洋和海上软件
机译:KaERI软件安全指南,用于开发核电站数字仪表和控制系统中的安全关键软件