Abstracts; Clocks; Concrete; Context; Encoding; Semantics; Syntactics; Event-B; formalmethods; pi-calculus; refinement; theoremproving; timedmobility; verification;
机译:普通定时Petri网自动转换为Event-B以进行正式验证
机译:具有图受限移动性的最优事件驱动多代理持久监控
机译:具有图受限移动性的最优事件驱动多代理持久监控
机译:从Timo到Event-B:事件驱动的定时移动性
机译:基于模型的事件驱动的分布式实时嵌入式系统分析
机译:定时移动性:老年人测量性能和维度的描述(老年人定时移动性)
机译:定时事件B中对时间敏感的信息流控制