AdaCore 8 rue de Milan 75009 Paris, France;
机译:开发在高完整性系统中使用面向对象Ada的配置文件
机译:生态系统的高完整性人力干预:跟踪自组织模式
机译:高完整性实时嵌入式系统非功能属性的规范和处理中的正确性
机译:ADA 2005用于高完整性系统
机译:RAKSHA:使用高完整性方法进行系统设计的可靠而激进的框架。
机译:国际合作:2005年至2016年巴西政府捐赠的药品
机译:YASIR:针对旧式SCADA系统的低延迟,高完整性安全性改造*