穆罕默德·礼萨穆萨维;吐温·巴斯滕;米歇尔·雷尼尔斯(Michel A.Reniers)。;米歇尔·乔德隆 时间伽马及其协调语言。 (英语) Zbl 1364.68141号 Nord.J.计算。 15,第2号,75-111(2015).MSC公司:68号30 68平方米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Mousavi}等人,Nord.J.计算。15,第2号,75--111(2015;Zbl 1364.68141)
米科·托萨宁;安蒂·瓦尔马里 很高兴了解状态空间方法的效率。 (英语) Zbl 1305.68126号 Nord.J.计算。 15,第1期,53-74(2013).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Tiusanen}和\textit{A.Valmari},Nord.J.计算机。15,第1号,53--74(2013;Zbl 1305.68126)
Y.Boichut。;海姆,P.-C。;O.库什纳伦科。 基于近似的树规则模型检查。 (英语) Zbl 1187.68312号 Nord.J.计算。 14,第3期,216-241(2008).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Boichut}等人,Nord.J.计算。14,第3号,216--241(2008;Zbl 1187.68312)
伙计,卡洛克 用定时Chi对硬件系统进行形式化描述和分析。 (英语) Zbl 1169.68512号 Nord.J.计算。 14,编号1-2,65-86(2007).MSC公司:60年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.L.Man},Nord.J.计算。14,编号1--2,65-86(2007;Zbl 1169.68512)
林,Vitus S.W。 关于UML活动图的推理形式。 (英语) Zbl 1169.68511号 Nord.J.计算。 14,编号1-2,43-64(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.S.W.Lam},Nord.J.计算。14,编号1--2,43-64(2007;Zbl 1169.68511)
帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;普里塔·马哈塔;阿莱塔·奈伦 使用前向可达性分析验证定时Petri网。 (英语) Zbl 1168.68434号 Nord.J.计算。 14,编号1-2,1-42(2007).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Nord.J.Compute。14,编号1--2,1--42(2007;Zbl 1168.68434)
苏布拉马尼,K。;约翰·阿根泰里 差异约束下的链规划。 (英语) Zbl 1117.90050号 Nord.J.计算。 13,第4号,309-327(2006).MSC公司:90C08型 65年第68季度 60年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani}和\textit{J.Argenteri},Nord.J.Compute。13,第4号,309--327(2006;Zbl 1117.90050)
拉吉夫·库马尔·波达尔;普兰达尔·巴杜里 验证基于Giotto的嵌入式控制系统。 (英语) Zbl 1123.68319号 Nord.J.计算。 13,第4期,266-293(2006).MSC公司:68N99型 93亿B51 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Poddar}和\textit{P.Bhaduri},Nord.J.Compute。13,第4号,266--293(2006;Zbl 1123.68319)
利奥尼达斯·齐奥普洛斯;瓦尔登,玛丽娜 B.NoC系统的正式开发。 (英语) Zbl 1122.68147号 Nord.J.计算。 13,编号1-2,127-145(2006).MSC公司:68单位07 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Tsiopoulos}和\textit{M.Waldén},Nord.J.Compute。13,编号1--2,127--145(2006;Zbl 1122.68147)
莫妮卡·奈西;朱斯蒂娜·诺塞拉 通过重写派生Otway-Rees协议中的类型缺陷攻击。 (英语) 兹比尔1122.68015 Nord.J.计算。 13,编号1-2,78-97(2006).MSC公司:68个M12 94A60型 第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Nesi}和\textit{G.Nocera},Nord.J.计算机。13,编号1--2,78-97(2006;Zbl 1122.68015)
英戈·布吕克纳;比约恩·梅茨勒;海克·卫尔海姆 通过演绎验证优化形式规范的切片。 (英语) Zbl 1114.68051号 Nord.J.计算。 13,编号1-2,22-45(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Brückner}等人,Nord.J.Compute。13,编号1--2,22-45(2006;Zbl 1114.68051)
马克西姆·博尔廷;艾纳尔·布罗赫·约翰森;克里斯托夫·吕斯 Isabelle结构化正式开发。 (英语) Zbl 1114.68063号 Nord.J.计算。 13,编号1-2,2-21(2006).MSC公司:68吨15 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bortin}等人,Nord.J.计算。13,编号1--2,2--21(2006;Zbl 1114.68063)
迈克尔·凯斯;德波尔(Frank S。;威廉·鲍尔·德·罗弗 用于行为接口规范的组合跟踪逻辑。 (英语) Zbl 1087.68056号 Nord.J.计算。 12,第2期,116-132(2005).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Kyas}等人,Nord.J.计算。12,第2号,116--132(2005;Zbl 1087.68056)
朱汉·厄尼茨 雷达内存接口卡的内存仲裁器合成和验证。 (英语) Zbl 1087.68520号 Nord.J.计算。 12,第2期,68-88(2005).MSC公司:68平方米 68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ernits},Nord.J.计算。12,第2号,68--88(2005;Zbl 1087.68520)
埃雷兹,佩特兰克;德罗·拉维茨 有缓存意识的数据放置的难度。 (英语) Zbl 1087.68021号 Nord.J.计算。 12,第3期,275-307(2005).MSC公司:68号30 2017年第68季度 65年第68季度 68卢比 68周25 PDF格式BibTeX公司 XML格式引用 \textit{E.Petrank}和\textit{D.Rawitz},北J.Comput。12,第3号,275--307(2005;Zbl 1087.68021)
Wan Fokkink公司;贾普·亨克·霍普曼;庞、军 关于带(K=N\)环中的\(K\)-状态自稳定的注记。 (英语) Zbl 1083.68003号 Nord.J.计算。 12,第1期,18-26(2005).MSC公司:64岁以下 68个M12 68米15 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人,Nord.J.计算。12,第1号,18--26(2005;Zbl 1083.68003)
卢克瑟纳斯、里姆维达斯 并发系统开发的严格环境。 (英语) Zbl 1088.68775号 Nord.J.计算。 11,第2期,165-193(2004).MSC公司:68吨15 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Rukönas},Nord.J.计算。11,第2号,165--193(2004;Zbl 1088.68775)
蒂莫·拉塔瓦拉;海基陶里亚宁 改进了与测试人员的现场验证。 (英语) Zbl 1088.68644号 Nord.J.计算。 11,第2期,148-164(2004).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Latvala}和\textit{H.Tauriainen},Nord.J.计算。11,第2号,148--164(2004;Zbl 1088.68644)
奥列塔·塞利库;安娜贝拉·麦克维尔 HOL中机械化概率程序的基于成本的分析。 (英语) Zbl 1088.68536号 Nord.J.计算。 11,第2期,102-128(2004).MSC公司:68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{O.Celiku}和\textit{A.McIver},Nord.J.Compute。11,第2号,第102-128条(2004;Zbl 1088.68536)
埃纳尔·布罗赫·约翰森;克里斯托夫·吕斯 为转换进行抽象细化。 (英语) Zbl 1094.68635号 Nord.J.计算。 10,编号4131-336(2003).MSC公司:68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}和\textit{C.Lüth},Nord.J.Compute。10,第4号,313--336(2003;Zbl 1094.68635)
马钦·本克;彼得·戴比杰;帕特里克·詹森 依赖类型理论中泛型程序和证明的宇宙。 (英语) Zbl 1094.68012号 Nord.J.计算。 10,第4期,265-289(2003).MSC公司:68甲18 68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Benke}等人,Nord.J.计算。10,第4号,265--289(2003;Zbl 1094.68012)
海克·卫尔海姆 关联基于状态和面向行为的子类型。 (英语) Zbl 1088.68647号 Nord.J.计算。 9,第4期,405-435(2002).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Wehrheim},Nord.J.计算。9,第4号,405--435(2002;Zbl 1088.68647)
Jochen Hoenicke公司;奥尔德罗格,恩斯特·吕迪格 CSP-OZ-DC:过程、数据和时间规范技术的组合。 (英语) Zbl 1088.68643号 Nord.J.计算。 9,第4期,301-334(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoenicke}和\textit{E.-R.Olderog},Nord.J.Compute。9,编号4301-334(2002年;兹bl 1088.68643)
维克托·彼得森;谢尔盖·沃罗比奥夫 奇偶博弈的随机次指数算法。 (英语) Zbl 0994.68085号 Nord.J.计算。 8,第3号,324-345(2001).MSC公司:65年第68季度 60年第68季度 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{V.Peterson}和\textit{S.Vorobyov},Nord.J.计算。8,第3号,324--345(2001;Zbl 0994.68085)
Yngve拉莫;米查·瓦利基 参数化程序规范——重新访问持久性。 (英语) 兹比尔0994.68089 Nord.J.计算。 8,第3号,298-323(2001).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lamo}和\textit{M.Walicki},Nord.J.计算机。8,第3号,298--323(2001;Zbl 0994.68089)
斯皮尔伯格,R.F.卢杰;托特内尔,W.J。 使用分裂树进行参数化实时模型检查。 (英语) Zbl 0978.68098号 Nord.J.计算。 8,第1号,88-120(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.F.L.Spelberg}和\textit{W.J.Toetenel},Nord.J.Compute。8,第1号,88-120(2001;Zbl 0978.68098)
本特·琼森;蒂齐亚娜·玛格丽亚;古斯塔夫·奈瑟;1月,Nyström;伯恩哈德·斯特芬 演化系统的增量需求规范。 (英语) Zbl 0978.68026号 Nord.J.计算。 第8期,第1期,65-87页(2001年).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}等人,《北J.计算》。8,编号1,65--87(2001;Zbl 0978.68026)
索菲涅·塔哈尔;保罗·库松 HOL和MDG的比较:一个ATM交换结构验证的案例研究。 (英语) Zbl 0951.68546号 Nord.J.计算。 6,第4期,372-402(1999).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Tahar}和\textit{P.Curzon},Nord.J.计算机。6,编号4372-402(1999年;兹bl 0951.68546)
Elena A.Troubitsyna。 通过概率细化进行可靠性评估。 (英语) Zbl 0937.68087号 Nord.J.计算。 6,第3期,320-342(1999).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Troubitsyna},Nord.J.计算。6,第3号,320-342(1999;Zbl 0937.68087)
Carl Johan,Lillieroth;萨特南·辛格 FPGA内核的正式验证。 (英语) Zbl 0944.68131号 Nord.J.计算。 6,第3期,299-319(1999).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Lillieroth}和\textit{S.Singh},Nord.J.Compute。6,第3号,299--319(1999;Zbl 0944.68131)
Larsen,Kim G。;贾斯汀·皮尔逊;卡斯滕·韦斯;易、王 时钟差异图。 (英语) Zbl 0937.68086号 Nord.J.计算。 6,第3期,271-298(1999).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Nord.J.计算。6,第3号,271--298(1999;Zbl 0937.68086)
哈坎·埃尔多格马斯 并发系统的架构驱动验证。 (英语) Zbl 0893.68065号 Nord.J.计算。 4,编号4380-413(1997).MSC公司:2010年第68季度 60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Erdogmus},Nord.J.计算。4,第4号,380--413(1997;Zbl 0893.68065)
米查·瓦利基;曼弗雷德·布罗伊 非确定性数据类型的结构化规范和实现。 (英语) Zbl 0838.68080号 Nord.J.计算。 2,第3期,358-395(1995).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Walicki}和\textit{M.Broy},Nord.J.Compute。2,第358-395号(1995年;Zbl 083868080)
哈迪·亨加;伯恩哈德·斯特芬 无上下文进程的本地模型检查。 (英语) Zbl 0817.68102号 Nord.J.计算。 第1期,第3期,第364-385页(1994年).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Hungar}和\textit{B.Steffen},Nord.J.计算机。1,第3号,364--385(1994;Zbl 0817.68102)
克劳斯·哈维隆德;金·古德斯特兰·拉森 fork演算。 (英语) Zbl 0817.68101号 Nord.J.计算。 1,第3期,346-363(1994).MSC公司:60年第68季度 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}和\textit{K.G.Larsen},Nord.J.Compute。1,第3号,346--363(1994;Zbl 0817.68101)
马达夫·马拉特。;亨特,哈里·B·III;拉维,S.S。 层次规范中近似PSPACE-完全问题的复杂性。 (英语) Zbl 0817.68092号 Nord.J.计算。 1,第3号,275-316(1994).MSC公司:65年第68季度 68瓦35 60年第68季度 68兰特 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Marathe}等人,Nord.J.计算。1,编号3,275--316(1994;Zbl 0817.68092)
奥拉夫·莱恩 通过结构归纳法完成自动证明的启发式。 (英语) Zbl 0939.68706号 Nord.J.计算。 1,编号135-156(1994).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{O.Lysne},Nord.J.计算。第1号,第135--156页(1994年;Zbl 0939.68706)