Computer architecture; Computer programs; Deployment; Standards; Infrastructure; Media; Commerce; Disasters;
机译:使用正式方法在模拟空中交通方案中的任务负载和资源冲突的推理
机译:模拟模型和环境中构成要素的计算机化形式化方法:第一部分:基于逻辑的推理方法
机译:将正式方法应用于协议规范和系统架构的经验
机译:使用形式方法推理建筑标准
机译:基于形式化方法的移动操作系统安全体系结构设计与分析
机译:概念问题和标准。受控医学词汇的应用:使用基于描述的体系结构统一医学信息
机译:苏联建构主义作为建筑方法生命重建的社会改革方式:禁止的原因