...
机译:使用协议验证和综合来设计协议规范的集成方法
机译:开放式验证方案的化学计量学方法多残留超高效液相色谱-串联质谱法中验证参数的预测
机译:承诺协议的构成性和规范性规范:一种分离的方法
机译:制造消息规范的协议设计和性能分析:Petri网方法
机译:移动无线网络协议的仿真和形式规范-一种集成方法
机译:根据场景和规范对分布式协议进行综合。
机译:DockBench:集成的信息平台弥合了对接协议的可靠验证与虚拟筛选模拟之间的差距
机译:测试理论:演示项目以及用于先进能源改造的综合设计方案的验证
机译:IGEs(初始图形交换规范)应用协议的规范和验证指南