...
机译:希望将正式方法广泛用于航空系统的设计和验证
LISI ENSMA, Teleport 2-1 Avenue Clement Ader,BP 40109, 86961 Futuroscope Chasseneuil Cedex, France;
ONERA/DTIM, 2 Avenue E. Belin,BP 74025, 31055 Toulouse, France;
ONERA/DTIM, 2 Avenue E. Belin,BP 74025, 31055 Toulouse, France;
formal methods; embedded systems; verification; real-time; dependability analysis;
机译:开放网络和分布式系统上的安全协议:用于分析,设计和验证的正式方法
机译:正式验证套件可提供更广阔的设计视野
机译:将正式方法与SysML一起用于航空航天设计和工程
机译:应用正式验证对基于FPGA的航空航天应用的早期评估:方法论和经验
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:基于RST-SOM算法的以双层设计空间为中心的以系统架构替代能力为重点的航空航天系统的探索
机译:开放网络和分布式系统上的安全协议:用于分析,设计和验证的正式方法
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术