机译:Event-B中规范分解方法的比较
Educ Informat Secur Community, Moscow, Russia;
Russian Acad Sci, Inst Syst Programming, Ul Solzhenitsyna 25, Moscow 109004, Russia|Moscow MV Lomonosov State Univ, GSP-1, Moscow 119991, Russia|Natl Res Univ, Higher Sch Econ, 1 Nd Kozhukhovsky Proezd 1-7, Moscow 101000, Russia;
Russian Acad Sci, Inst Syst Programming, Ul Solzhenitsyna 25, Moscow 109004, Russia|Moscow MV Lomonosov State Univ, GSP-1, Moscow 119991, Russia|Natl Res Univ, Higher Sch Econ, 1 Nd Kozhukhovsky Proezd 1-7, Moscow 101000, Russia;
Russian Acad Sci, Inst Syst Programming, Ul Solzhenitsyna 25, Moscow 109004, Russia|Moscow Inst Phys & Technol, Inst Skii Per 9, Dolgoprudnyi 141700, Moscow Oblast, Russia;
Russian Acad Sci, Inst Syst Programming, Ul Solzhenitsyna 25, Moscow 109004, Russia;
机译:在iUML-B和Event-B中正式形成混合ERTMS 3级规范
机译:基于细化的事件B规范验证
机译:从Event-B规范到分布式算法程序
机译:寻求事件B中的细化分解方法
机译:间接分解方法的协方差建模和改性极度分解方法
机译:脑电信号中肌肉伪影的去除:线性分解方法的比较
机译:Event-B形式方法中的原子性分解方法