潘卡杰·库马尔·卡利塔;Singal,Dhruv公司;帕拉克·阿加瓦尔;萨科特Jhunjhunwala;罗伊,苏巴吉特 LL(1)解析的符号编码及其应用。 (英语) Zbl 07815092号 形式方法系统。设计。 61,编号2-3,338-379(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Kalita}等人,《形式方法系统》。设计。61,编号2--3,338--379(2022;Zbl 07815092) 全文: 内政部
格雷姆·史密斯;尼古拉斯·考夫林;托比·默里 ARM和POWER多核处理器上的信息流控制。 (英语) Zbl 1505.68001号 形式方法系统。设计。 58,编号1-2,251-293(2021).MSC公司:2007年7月68日 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}等人,《形式方法系统》。设计。58,编号1--2,251--293(2021;Zbl 1505.68001) 全文: 内政部
格里高·罗什乌 有限迹线性时序逻辑:共导完备性。 (英语) Zbl 1394.68237号 形式方法系统。设计。 53,第1期,138-163(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu},《形式与方法系统》。设计。53,第1号,138--163(2018;Zbl 1394.68237) 全文: 内政部
曼弗雷德·布罗伊 基于假设/承诺的系统接口规范和架构合同的理论和方法。 (英语) Zbl 1392.68238号 形式方法系统。设计。 52,第1号,33-87(2018).MSC公司:60年第68季度 2007年7月68日 64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy},《形式方法系统》。设计。52、第1号、第33-87号(2018;Zbl 1392.68238) 全文: 内政部
乔纳斯·韦斯特曼;马蒂亚斯·尼贝格 异构系统中分离职责的合同条件。 (英语) Zbl 1390.68442号 形式方法系统。设计。 52,第2期,147-192(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Westman}和\textit{M.Nyberg},《形式方法系统》。设计。52,第2号,147--192(2018;Zbl 1390.68442) 全文: 内政部
阿德里安·弗兰卡兰扎;卢卡·埃特罗;安娜·英格尔夫斯多蒂 具有递归功能的轩尼诗-米尔纳逻辑的可监控性。 (英语) 兹比尔1370.68203 形式方法系统。设计。 51,第1号,87-116(2017).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}等人,《形式方法系统》。设计。51,第1号,87--116(2017;Zbl 1370.68203) 全文: 内政部
保罗·C·阿蒂。 根据动态规范合成大型动态并发程序。 (英语) Zbl 1392.68143号 形式方法系统。设计。 48,编号1-2,94-147(2016).MSC公司:68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Attie},形式方法系统。设计。48,编号1--2,94-147(2016;Zbl 1392.68143) 全文: 内政部 arXiv公司
李毅;董金松;孙静;刘,杨;孙骏 自动化规划的模型检查方法。 (英语) Zbl 1291.68263号 形式方法系统。设计。 44,第2期,176-202(2014).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《形式方法系统》。设计。44,第2号,176--202(2014;Zbl 1291.68263) 全文: 内政部 链接
魏坤;吉姆·伍德科克;艾伦·伯恩斯 使用时间段对复杂系统中的时间行为进行建模。 (英语) Zbl 1291.68271号 形式方法系统。设计。 43,第3期,520-551(2013).MSC公司:60年第68季度 68号30 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Wei}等人,Form.Methods Syst。设计。43,第3号,520--551(2013;Zbl 1291.68271) 全文: 内政部 链接
安东尼奥·考伊;海尔格·贾尼克;本·莫斯科夫斯基 验证和实施访问控制策略。 (英语) Zbl 1291.68250号 形式方法系统。设计。 43,编号3,450-492(2013).MSC公司:60年第68季度 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cau}等人,《形式方法系统》。设计。43,编号3450-492(2013年;兹bl 1291.68250) 全文: 内政部
艾登·A·H·。;E·加斯帕里斯。;J·尼克尔森。;R.卡兹曼。 使用代码图对面向对象程序进行建模和可视化。 (英语) 兹比尔1291.68141 形式方法系统。设计。 43,第1期,第1-28页(2013年).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Eden}等人,《形式方法系统》。设计。43,编号1,1--28(2013;Zbl 1291.68141) 全文: 内政部
丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 使用状态和转换不变量的循环摘要。 (英语) Zbl 1291.68262号 形式方法系统。设计。 42,第3期,221-261(2013).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人,《形式方法系统》。设计。42,第3号,221--261(2013;Zbl 1291.68262) 全文: 内政部 链接
萨特拉吉·查特吉;迈克尔·基希内夫斯基 从通信结构的高级微体系结构模型自动生成归纳不变量。 (英语) Zbl 1247.68162号 形式方法系统。设计。 40,第2期,147-169(2012).MSC公司:60年第68季度 68米10 PDF格式BibTeX公司 XML格式引用 \textit{S.Chatterjee}和\textit{M.Kishinevsky},表格方法系统。设计。40,第2号,147--169(2012;Zbl 1247.68162) 全文: 内政部
A.拉帕杜拉。;普格利泽,R。;F.蒂兹。 用于异步WS-BPEL进程的基于WSDL的类型系统。 (英语) Zbl 1217.68061号 形式方法系统。设计。 第2号第38页,第119-157页(2011年).MSC公司:68号30 68甲15 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{A.Lapadula}等人,《形式方法系统》。设计。38,第2号,119--157(2011;Zbl 1217.68061) 全文: 内政部
劳拉,博泽利;阿尼埃洛·穆拉诺;阿德里亚诺·佩隆 下压模块检查。 (英语) Zbl 1209.68312号 形式方法系统。设计。 36,第1期,65-95(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《形式方法系统》。设计。36,第1号,65--95(2010;Zbl 1209.68312) 全文: 内政部
帕特里克·库索特;拉迪亚·库索特;费雷特,杰罗姆;劳伦特·莫博涅;安托万·米内;对手,泽维尔 为什么阿斯特雷要扩大规模? (英语) Zbl 1185.68241号 形式方法系统。设计。 35,第3期,229-264(2009).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}等人,《形式方法系统》。设计。35,第3号,229--264(2009;Zbl 1185.68241) 全文: 内政部
马丁·德·沃尔夫;劳伦特·多恩;尼古拉斯·马基;让-弗朗索瓦·拉斯金 时间自动机的鲁棒安全性。 (英语) Zbl 1165.68392号 形式方法系统。设计。 33,编号1-3,45-84(2008).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人,《形式方法系统》。设计。33,编号1--3,45-84(2008;Zbl 1165.68392) 全文: 内政部 哈尔
Kristensen,L.M。;施密特,K。;A.瓦尔马里。 状态属性的问题导向顽固集方法。 (英语) Zbl 1109.68075号 形式方法系统。设计。 29,第3期,215-251(2006).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Kristensen}等人,《形式方法系统》。设计。29,第3号,215--251(2006;Zbl 1109.68075) 全文: 内政部
哈娜·乔克勒;奥尔纳·库普弗曼;莫舍·瓦尔迪。 时序逻辑模型检查的覆盖度量。 (英语) Zbl 1105.68075号 形式方法系统。设计。 28,第3期,189-212(2006).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,《形式方法系统》。设计。28,编号3,189-212(2006年;Zbl 1105.68075) 全文: 内政部 链接
Jean-Pierre塔宾;保罗·勒格尔尼克 系统设计中行为建模和协议综合的代数理论。 (英语) Zbl 1099.68501号 形式方法系统。设计。 28,第2期,131-151(2006).MSC公司:2007年7月68日 68问题85 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Talpin}和\textit{P.Le Guernic},《形式方法系统》。设计。28,第2号,131--151(2006;Zbl 1099.68501) 全文: 内政部 哈尔
阿尔贝托·维尔德乔;马丁·奥列特,纳西索 Maude中语义执行的两个案例研究:CCS和LOTOS。 (英语) Zbl 1086.68552号 形式方法系统。设计。 27,第1-2号,113-172(2005).MSC公司:2012年第68季度 68问题55 60年第68季度 68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Verdejo}和\textit{N.Martí-Oliet},《形式方法系统》。设计。27,编号1--2,113--172(2005;Zbl 1086.68552) 全文: 内政部
穆拉特·卡拉曼;帕克·阿伯克龙比 jContractor:使用反射字节码插装将design-by-contract引入Java。 (英语) Zbl 1086.68534号 形式方法系统。设计。 27,第3号,275-312(2005).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.卡拉曼}和\textit{P.阿伯克龙比},《形式方法系统》。设计。27,第3号,275--312(2005;Zbl 1086.68534) 全文: 内政部
保拉·因弗拉迪;科拉多·普里亚米 分布式系统的自动验证:进程代数方法。 (英语) Zbl 1425.68294号 形式方法系统。设计。 8,第1期,7-38(1996).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Inverardi}和\textit{C.Priami},《形式方法系统》。设计。8,第1号,第7--38号(1996年;Zbl 1425.68294) 全文: 内政部
詹姆斯·科贝特(James C.Corbett)。;乔治·S·阿夫鲁宁。 使用整数编程验证一般安全性和活性属性。 (英语) Zbl 0829.68051号 形式方法系统。设计。 6,第1期,97-123(1995).MSC公司:第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Corbett}和\textit{G.S.Avrunin},《形式方法系统》。设计。6,编号1,97--123(1995;Zbl 0829.68051) 全文: 内政部
卢瓦索,C。;格拉芙,S。;西法基斯,J。;A.Bouajjani。;Bensalem,S。 用于验证并发系统的属性保持抽象。 (英语) Zbl 0829.68053号 形式方法系统。设计。 6,第1期,11-44(1995).MSC公司:第68季度10 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{C.Loiseaux}等人,Form.Methods Syst。设计。6,编号1,11-44(1995;Zbl 0829.68053) 全文: 内政部
安德鲁·贝利;乔治·麦卡斯基尔。;乔治·米尔恩。 异步设计的自动验证练习。 (英语) Zbl 0795.94020号 形式方法系统。设计。 4,第3期,213-242(1994).MSC公司:94C12号机组 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bailey}等人,《形式方法系统》。设计。4,第3号,213--242(1994;Zbl 0795.94020) 全文: 内政部
保罗·库松 派生已编译代码的正确性属性。 (英语) Zbl 0785.68061号 形式方法系统。设计。 3,编号1-2,83-115(1993).MSC公司:60年第68季度 03B70号 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{P.Curzon},形式方法系统。设计。3,编号1--2,83-115(1993;Zbl 0785.68061) 全文: 内政部
冯·赖特,J。;J·赫卡纳霍。;罗斯塔琳,P。;朗巴卡,T。 机械化一些高级精炼概念。 (英语) 兹伯利0785.68063 形式方法系统。设计。 3,编号1-2,49-81(1993).MSC公司:60年第68季度 68吨15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.von Wright}等人,《形式方法系统》。设计。3,编号1--2,49-81(1993;Zbl 0785.68063) 全文: 内政部
大卫·L·迪尔。;史蒂文·诺威克(Steven M.Nowick)。;罗伯特·F·斯普鲁尔。 自定时队列的规范和自动验证。 (英语) Zbl 0875.68628号 形式方法系统。设计。 第1期,第29-60页(1992年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Dill}等人,《形式方法系统》。设计。1,第1号,29--60(1992;Zbl 0875.68628) 全文: 内政部
周朝晨;C.A.R.霍尔。 同步开关电路模型及其正确性理论。 (英语) Zbl 0777.94026号 形式方法系统。设计。 1,第1期,7-28(1992).MSC公司:94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou}和\textit{C.A.R.Hoare},《形式与方法系统》。设计。1,第1号,第7--28号(1992;Zbl 0777.94026) 全文: 内政部
安蒂·瓦尔马里 对国家爆炸的顽固攻击。 (英语) 兹比尔0783.68083 形式方法系统。设计。 1,第4期,297-322(1992).MSC公司:60年第68季度 03B45号 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{A.Valmari},《形式方法系统》。设计。1,第4号,297--322(1992;Zbl 0783.68083) 全文: 内政部