ADELARD Drysdale Building Northampton Square London EC1V OHB United Kingdom Tel: (44) 20 7940 9450/Fax : (44) 20 7940 9451 glc@adelard.com;
ASTRIUM-SAS 31, rue des Cosmonautes, ZI du Palays 31 077 Toulouse Cedex - France Tel: (33) 5 6219 5846/Fax : (33) 5 6219 7780 jean-paul.blanquart@astrium-space.com;
ESA/ESTEC ESTEC, European Space Agency PO Box 299, NL-2200 AG Noordwijk ZH-The Netherlands Tel: (31) 71 565 3734 /Fax : (31) 71 565 4798 juan.carranza@esa.int;
ADELARD Drysdale Building Northampton Square London EC1V OHB United Kingdom Tel: (44) 20 7940 9450/Fax : (44) 20 7940 9451 pkdf@adelard.com;
ADELARD Drysdale Building Northampton Square London EC1V OHB United Kingdom Tel: (44) 20 7940 9450/Fax : (44) 20 7940 9451 ccmj@adelard.com;
ASTRIUM-SAS 31, rue des Cosmonautes, ZI du Palays 31 077 Toulouse Cedex - France Tel: (33) 5 6219 5846/Fax : (33) 5 6219 7780 jean-francois.muller@astrium-space.com;
机译:关键长期航空软件系统中的弹性工程:一种用于航天飞机软件安全的新方法
机译:安全设计:确定安全指标的BIM系统安全方面的理论框架
机译:安全关键计算机系统中软件安全的方法框架
机译:无人机系统飞行软件认证的风险告知安全案例框架
机译:用于自主空间系统认证的并发和以时间为中心的框架。
机译:Molpher:用于系统化学空间探索的软件框架
机译:多核COTS上的模块化航空电子软件集成:符合认证要求的方法和时序分析度量标准,可在现代航空航天系统中重复使用
机译:实时安全关键智能系统认证和评估框架