Z

此软件的关键字
zbMATH中的参考文献(参考文献 286篇 , 1标准件 )
巴克斯特,詹姆斯; 里贝罗,佩德罗; 安娜州卡瓦尔坎蒂:在\textittock CSP(2022年)中的合理推理 阿伊特阿默尔,亚明; 拉劳,Régine; 梅里,多米尼克; Singh,Neeraj Kumar:在基于状态的形式化方法中利用领域知识(2021) 班纳,理查德; 朱惠标:现代连续抽象状态机(2021) 克里斯蒂娅,马克西米利亚诺; Rossi,Gianfranco:限制内涵集的自动推理(2021) 克里斯蒂娅,马克西米利亚诺; Rossi,Gianfranco:Bell LaPadula安全属性的自动证明(2021年) 克里斯蒂娅,马克西米利亚诺; Rossi,Gianfranco:Tokeneer ID站规范的自动验证原型(2021) 福斯特,西蒙; 尼莫奇、雅库布; 格雷舍尔,马里奥; 魏然; Kelly,Tim:与Isabelle/SACM将正式证据整合到统一保证案例中(2021年) 福斯特,西蒙; 叶康峰; 安娜,卡瓦尔康蒂; Jim Woodcock:通过计算自动验证反应式和并发程序(2021) 杰克逊,马赛尔; 斯托克斯,蒂姆:覆盖和更新(2021) Leuschel,Michael:发现差异:B和Event-B之间的详细比较(2021) 福斯特,西蒙; 安娜,卡瓦尔康蒂; 加纳姆,塞缪尔; 伍德考克,吉姆; Zeyda,Frank:反应式设计合同的统一理论(2020) Kahl,Wolfram:教学工具中的计算关系代数证明(2020) 阿依达拉合伊; 哈默勒,拉扎尔; 格雷特,穆罕默德; el Ayeb,Béchir:基于事件B的云复合服务验证方法(2020) 阿普特,Krzysztof R。; 奥尔德罗,恩斯特-吕迪格:霍尔逻辑的五十年(2019) 林玉辉; 邦迪,艾伦; 格罗夫,古德蒙德; Maclean,Ewen:通过波纹和校样修补自动化Event-B不变性证明(2019) 里贝罗,佩德罗; 安娜州卡瓦尔坎蒂:通过UTP实现CSP的天使工艺(2019年) 巴瑟,托比亚斯(编辑); 克劳斯,亨宁(编辑); 韦斯纳,斯托亚诺斯卡(编辑):小型研讨会:同伦理论和表征理论中的色现象和二重性。 2018年3月4日至10日举行的小型研讨会摘要(2018年) 贝赛,一月; 陈子春; 杜登赫夫纳,安德烈; 杜德尔,鲍里斯; 德利古罗,乌戈; Rehof,Jakob:基于交叉口类型的混合合成(2018) 布拉特卡,瓦斯科(编辑); 唐尼,罗德尼G.(编辑); 奈特,茱莉亚·F(编辑); 勒普,斯特芬(编辑):可计算性理论。 2018年1月7日至13日(2018年)研讨会摘要 Joosten,Sebastiaan J.C.:通过图饱和寻找模型(2018)