路德维希·格里贝尔;约翰·舒斯特 关于多端二进制决策图抽象操作的一些说明。 (英语) Zbl 1291.68258号 形式方法系统。设计。 44,第1期,91-99(2014).MSC公司:60年第68季度 68问题85 68第05页 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{L.Griebl}和textit{J.Schuster},《形式方法系统》。设计。44,第1号,91--99(2014;Zbl 1291.68258) 全文: 内政部 arXiv公司
斯特凡·拉特肖恩 非线性混杂系统的安全性验证是拟决策的。 (英语) Zbl 1291.68266号 形式方法系统。设计。 44,No.1,71-90(2014).MSC公司:60年第68季度 68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ratschan},表格。方法系统。设计。44,编号1,71-90(2014;兹bl 1291.68266) 全文: 内政部
于、方;穆阿特·阿尔卡拉夫;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 用于漏洞检测的基于自动机的符号字符串分析。 (英语) Zbl 1291.68272号 形式方法系统。设计。 44,第1期,44-70(2014).MSC公司:60年第68季度 65年第68季度 68米11 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}等人,《形式方法系统》。设计。44,第1号,44--70(2014;Zbl 1291.68272) 全文: 内政部
阿尔伯特·本文尼斯特;克洛德·贾德;Ajay Kattepur;西德尼·罗萨里奥;约翰·A·蒂维森。 支持QoS的单调服务编排管理。 (英语) Zbl 1291.68280号 形式方法系统。设计。 44,第1期,1-43页(2014年).MSC公司:68问题85 87年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}等人,《形式方法系统》。设计。44,第1号,1-43(2014;Zbl 1291.68280) 全文: 内政部 哈尔