Department of Computer Science and Engineering Nanjing University of Aero. Astro., Nanjing 210016, China;
机译:自动验证密码协议的时间流行性
机译:表示和验证移动代理的时间和结构属性
机译:ASADAL / PROVER:用于验证Statechart中实时系统规范的时间特性的工具集
机译:验证不确定特工的实时时间,合作和认知属性
机译:约旦阿拉伯语中间接证据性,时间性和认知情态的相互作用:语态代词的情况。
机译:实时PCR检测试剂盒的开发和验证用于鉴定导致人类急性呼吸道感染的病毒
机译:验证访问控制系统的时间 - 认知属性
机译:表征在嘈杂和不确定环境中运行的多代理实时系统的性能保证。