...
机译:使用Event-B和Rodin平台使混合系统正式化
School of Computer Engineering and Science, Shanghai University, Shanghai China;
Marseille, France;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China;
Event-B; Hybrid systems; Simulink stateflow; Action Systems;
机译:使用Event-B模拟混合系统时序约束的建模
机译:混合事件-B中小型飞机燃油泵系统的建模,形式完善和划分策略
机译:多机Hybrid Event-B中的起落架系统
机译:基于Event-B和Rodin平台的巡航控制系统的形式化建模
机译:在云(IaaS)平台中采用混合入侵检测系统来缓解僵尸网络威胁
机译:酵母三杂交系统作为鉴定与植物细胞中小信号分子相互作用的蛋白质的实验平台:潜力和局限性
机译:在事件B和罗丹中建模和优化混合系统