团结

此软件的关键字
参考文献中的数学 185篇 , 2标准条款 )
Hesselink,Wim H.:统一与Büchi自动机(2021) 特肯·瓦拉皮尔(Tekken Valapil),维迪亚; Kulkarni,Sandeep S.:在使用不可损坏的部分同步时钟建立状态空间的同时保持稳定(2020) 布拉马斯,昆汀; 前卫,黛安娜; 内斯特连科,米哈伊尔; Tixeuil,Sébastien:Omega故障检测器的包高效实现(2019年) 皮特曼,近红外; Pnueli,Amir:时序逻辑与公平离散系统(2018) Shankar,Natarajan:模型检验与演绎相结合(2018) 德玛西,拉米罗; 卡斯特罗,巴勃罗F。; 迈鲍姆,托马斯·S·E。; Aguirre,Nazareno:容错仿真关系(2017) 埃弗拉德,胡格; Lang,Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码(2017) Hesselink,Wim H.:互斥锦标赛:验证与并发复杂性(2017) 伯克,提摩太; 范格拉贝克,罗伯特J。; Höfner,Peter:网络协议的过程代数机械化(2016) Hesselink,Wim H.:黑白烘焙算法的正确性和并发复杂性(2016) 黄,泰国儿子; 施耐德,史蒂夫; 特雷哈尼,海伦; Williams,David M.:在Event-B细化中使用线性时态逻辑的基础(2016) 菲拉利,马蒙; 乌德尔尼,梅里姆; Raclet,Jean Baptiste:FIFO协议跟踪的规范化形式,在基于模式的协议重放中的应用(2015) Futatsugi,Kokichi:用于验证CafeOBJ过渡系统的生成和检查方法(2015) Futatsugi,Kokichi:CafeOBJ中生成和检查方法的通用证明分数(2015) 伊万诺夫,伊夫根; 尼基琴科,米可拉; Abraham,Uri:基于事件的Peterson算法互斥性证明(2015) 奥尔德罗,恩斯特-吕迪格; Mani Swaminathan:数据丰富型实时系统的结构转换(2015) 塔拉修克,安东; 特鲁比塞纳,埃琳娜; Laibinis,Linas:将随机推理集成到Event-B开发中(2015) 绪方、和谷弘; Futatsugi,Kokichi:基于OTSs重写理论规范证明分数的定理证明(2014) 赵永新; 东,劲松; 刘、杨; 孙俊:走向CafeOBJ和PAT的结合(2014) 董汝珍; 费伯,约翰尼斯; 柯、卫; 刘志明:rCOS:定义基于组件的软件架构的意义(2013)