机译:使用正式方法在模拟空中交通方案中的任务负载和资源冲突的推理
机译:模拟模型和环境中构成要素的计算机化形式化方法:第一部分:基于逻辑的推理方法
机译:将正式方法应用于协议规范和系统架构的经验
机译:使用正式方法来推理架构标准
机译:基于形式化方法的移动操作系统安全体系结构设计与分析
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:我们不需要正式的承认学生事务的研究生准备计划的系统,以证明其符合CAS标准的原因:12个迷思
机译:用形式化方法推理建筑标准。