莱因哈德·威廉 书评:K.D.Lee,编程语言基础。 (英语) Zbl 1491.00035号 正式Asp。计算。 33,第6期,1279-1280(2021).MSC公司:00A17年 68-01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Wilhelm},正式Asp。计算。33,第6号,1279--1280(2021;Zbl 1491.00035) 全文: 内政部
布莱尔·阿奇博尔德;盖扎·库尔斯阿尔;米歇尔·塞维格纳尼 两个图模型的故事:无线传感器网络的案例研究。 (英语) Zbl 1522.68074号 正式Asp。计算。 33,第6期,1249-1277(2021).MSC公司:68米18 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Archibald}等人,《形式语法》。计算。33,第6号,1249--1277(2021;Zbl 1522.68074) 全文: 内政部 链接
罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 基于事件/数据的系统的混合动态逻辑机构。 (英语) Zbl 1522.68322号 正式Asp。计算。 33,第6期,1209-1248(2021).MSC公司:60年第68季度 03B70号 03G30型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人,正式Asp。计算。33,第6号,1209--1248(2021;Zbl 1522.68322) 全文: 内政部 arXiv公司
胡安·德·拉腊;埃丝特·格拉 具有多级模型产品线的语言族工程。 (英语) Zbl 1522.68148号 正式Asp。计算。 33,编号6,1173-1208(2021).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.de Lara}和\textit{E.Guerra},正式Asp。计算。33,编号6,1173--1208(2021;Zbl 1522.68148) 全文: 内政部
马克西姆·科尔迪;萨米人拉兹雷格;迈克,帕帕达基斯;Legay、Axel 变量密集型系统的统计模型检查:应用于缺陷检测和最小化。 (英语) Zbl 1522.68305号 正式Asp。计算。 33,第6期,1147-1172(2021).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cordy}等人,正式Asp。计算。33,编号6,1147--1172(2021;Zbl 1522.68305) 全文: 内政部
尼尔斯·魏德曼;安东尼·安约林 通过三重图文法和整数线性规划实现符合模式的一致性管理。 (英语) Zbl 1522.68257号 正式Asp。计算。 33,第6期,1115-1145(2021).MSC公司:第68季度第42季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Weidmann}和\textit{A.Anjorin},正式Asp。计算。33,编号6,1115--1145(2021;Zbl 1522.68257) 全文: 内政部
帕特里克·Stünkel;哈拉尔德·科尼格;Yngve拉莫;阿德里安·拉特尔 综合系统:多模型一致性管理的正式基础。 (英语) Zbl 1522.68347号 正式Asp。计算。 33,第6期,1067-1114(2021).MSC公司:60年第68季度 18B50型 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Stünkel}等人,正式Asp。计算。33,编号6,1067--1114(2021;Zbl 1522.68347) 全文: 内政部
克劳迪奥·蒙吉;亚历山德罗·玛丽亚·里齐;安娜·伯纳斯科尼;鲍拉·斯波莱蒂尼 TOrPEDO:用拓扑证明见证模型的正确性。 (英语) Zbl 1522.68335号 正式Asp。计算。 33,第6号,1039-1066(2021).MSC公司:60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Menghi}等人,正式Asp。计算。33,第6号,1039--1066(2021;Zbl 1522.68335) 全文: 内政部
乔尔迪·卡博特(编辑);海克·卫尔海姆(编辑);埃尔克·博伊滕(编辑) 编辑。 (英语) Zbl 1522.68020号 正式Asp。计算。 33,编号61037(2021).MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Cabot}(编辑)等,《形式语法》。计算。33,编号61037(2021;Zbl 1522.68020) 全文: 内政部
简·佩莱斯卡;克拉夫茨克,尼古拉斯;安妮·E·哈克斯豪森。;拉尔夫·平格尔 地理联锁系统的有效数据验证。 (英语) 兹比尔1522.68341 正式Asp。计算。 第6925-955号第33页(2021).MSC公司:60年第68季度 03B44号 64岁以下 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Peleska}等人,正式Asp。计算。33,编号6,925--955(2021;Zbl 1522.68341) 全文: 内政部
克莱门斯,杜布拉夫;帕特里克·科普曼;安妮·亚斯敏(Anni-Yasmin Turhan) 使用本体增强概率模型检查。 (英语) Zbl 1522.68310号 正式Asp。计算。 33,第6号,885-921(2021).MSC公司:60年第68季度 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Dubslaff}等人,正式Asp。计算。33,第6号,885--921(2021;Zbl 1522.68310) 全文: 内政部
西蒙·福斯特;雅库布·内穆奇;马里奥·格雷舍尔;魏冉;蒂姆·凯利 与Isabelle/SACM将正式证据整合到统一的保证案例中。 (英语) Zbl 1522.68717号 正式Asp。计算。 33,第6号,855-884(2021).MSC公司:68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,正式Asp。计算。33,编号6,855--884(2021;Zbl 1522.68717) 全文: 内政部 arXiv公司
沃尔夫冈·阿伦特(编辑);塔皮娅·塔里法(Tapia Tarifa)、西尔维娅·利泽斯(Silvia Lizeth)(编辑);海克·卫尔海姆(编辑) 编辑。 (英语) Zbl 1522.68012号 正式Asp。计算。 33,编号6827(2021).MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahrendt}(编辑)等,《形式语法》。计算。33,编号6827(2021;Zbl 1522.68012) 全文: 内政部