机译:基于对并行系统正式规范和原型设计的重写逻辑的环境
机译:重写P系统的基于逻辑的语义和最大保真度
机译:基于Petri网的多Agent系统模型重写逻辑规范自动生成算法
机译:一种规范与验证方法,提高对象消息传递和重写逻辑的同时系统可靠性
机译:一种扩展的基于CSPE的方法,用于对并发程序进行基于规范的测试。
机译:使用每日基于短信的短信服务计算机辅助自我访谈(SMS-CASI)来测量HIV自测使用的RCT中的性风险行为的方法系统错误和参与者错误的人口统计学差异
机译:重写逻辑中并发系统的规范,转换和编程
机译:基于定时重写逻辑的sDL规范形式化模型