Department of Computer Science, University of Leicester, Leicester LE1 7RH, UK;
机译:定时自动机指标对连续时间马尔可夫链的模型检验
机译:Petri网络和定时自动机对多媒体文档场景的规范
机译:具有定时自动机规格的实时系统的ConfOrmance测试
机译:从致密地规范到TLA定时自动机的设计
机译:时间和架构:架构设计中的持续时间和顺序问题。
机译:温度和浸软持续时间对灰霉病菌硝酸盐含量的影响:外接中心复合设计和方法验证
机译:从持续时间规范到定时自动机的TLa设计