Kitami Inst. of Technol., Kitami, Japan;
Hokkaido Univ., Sapporo, Japan;
Cloud computing; Time factors; Databases; Law; Information systems; System performance; Concrete;
机译:谓词给定的控制规范的混合系统的采样数据事件控制
机译:质量功能部署,Kanos模型和分层决策的集成方法,可改善伊朗经纪人的电子服务
机译:质量功能部署,Kanos模型和分层决策的集成方法,可改善伊朗经纪人的电子服务
机译:由InterCloud Brokerage部署的系统的谓词逻辑定义规范方法
机译:传感器网络工作台:进行功能规范,约束分布式系统的验证和部署。
机译:耐久性抵抗小麦生锈:整合系统生物学和基于传统表型的研究方法以指导抗性基因的部署
机译:通过针对aTLK规范的谓词抽象验证多代理系统
机译:离散事件动力系统监控的谓词和谓词变换器。