马钦,皮卡奇克;马雷克·奥吉拉。 用于安全高效手写签名分类的分层图形-纹理模型。 (英语) Zbl 1217.68197号 加州大学洛杉矶分校 第6926-943号第17页(2011年).MSC公司:68吨10 68兰特 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{M.Piekarczyk}和\textit{M.R.Ogiela},J.UCS 17,第6期,926--943(2011;Zbl 1217.68197) 全文: 链接
贝内维提斯,亚历山德博蒂;吉安卡洛·吉扎迪;贝纳多·费雷拉·巴斯托斯·布拉加;阿尔梅达,若奥·保罗·安德拉德 使用自动生成的视觉世界结构验证OntoUML概念模型的模态方面。 (英语) Zbl 1216.68280号 加州大学洛杉矶分校 16,第20号,2904-2933(2010).MSC公司:68立方英尺 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Benevides}等人,J.UCS 16,No.20,2904--2933(2010;Zbl 1216.68280) 全文: 链接
卢、伦金;金大奎;朱元林;金桑西格(Kim,Sangsig) 使用逻辑编程验证结构模式一致性。 (英语) Zbl 1216.68071号 加州大学洛杉矶分校 16,第17号,2455-2474(2010).MSC公司:68N17号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Lu}等人,J.UCS 16,No.17,2455--2474(2010;Zbl 1216.68071) 全文: 链接
L.-M.特劳诺兹。;石灰,D。;O.H.罗克斯。 秒表Petri网的参数化模型检查。 (英语) Zbl 1217.68140号 加州大学洛杉矶分校 15,第17号,3273-3304(2009).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Traonouez}等人,J.UCS 15,No.17,3273--3304(2009;Zbl 1217.68140) 全文: 链接
格罗夫斯,L。 关于非阻塞并发的推理。 (英语) Zbl 1216.68075号 加州大学洛杉矶分校 第1期第15页,72-111页(2009年).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Groves},J.UCS 15,第1号,72-111(2009;Zbl 1216.68075) 全文: 链接
哈维尔·卡马拉;格温·萨拉恩;卡洛斯·卡纳尔 不匹配行为接口的组成和运行时适应。 (英语) Zbl 1217.68060号 加州大学洛杉矶分校 14,第13号,2182-2211(2008).MSC公司:68号30 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{J.Cámara}等人,J.UCS 14,No.13,2182-2211(2008;Zbl 1217.68060) 全文: 链接
A.斯利森科。;瓦西利耶夫,P。 带谓词逻辑模型检查的定时抽象状态机仿真。 (英语) Zbl 1217.68066号 加州大学洛杉矶分校 14,第12期,1984-2006(2008).MSC公司:68号30 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{A.Slissenko}和\textit{P.Vasilyev},J.UCS 14,第12期,1984--2006(2008;Zbl 1217.68066) 全文: 链接
谢尔霍恩,G。 ASM求精保持不变量。 (英语) Zbl 1217.68064号 加州大学洛杉矶分校 1929-1948年第12期第14页(2008年).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn},J.UCS 14,第12期,1929年--1948年(2008年;Zbl 1217.68064) 全文: 链接
里夫斯,S。;斯特雷德,D。 构建程序或流程。 (英语) Zbl 1124.68073号 加州大学洛杉矶分校 11,第12号,2034-2045(2005).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Reeves}和\textit{D.Streader},J.UCS 11,第12期,2034--2045(2005;Zbl 1124.68073) 全文: 链接
格哈德·古斯 编译中的问题。 (英语) 兹伯利0982.68040 加州大学洛杉矶分校 7,第5期,410-419(2001).MSC公司:第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{G.Goos},J.UCS 7,第5期,410-419(2001;Zbl 0982.68040) 全文: 链接
简·罗特;亨德里克·图斯;巴特·雅各布斯 联合类规范语言CCSL。 (英语) Zbl 0970.68104号 加州大学洛杉矶分校 7,第2号,规范发行。,175-193 (2001).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Rothe}等人,J.UCS 7,No.2,175--193(2001;Zbl 0970.68104)
多米尼克·坎塞尔;梅里,多米尼克;斯蒂芬·默兹 反应系统设计的图表细化。 (英语) Zbl 0970.68103号 加州大学洛杉矶分校 7,第2号,规范发行。,159-174 (2001).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cansell}等人,J.UCS 7,No.2,159--174(2001;Zbl 0970.68103)
凯·鲍库斯;亚辛·拉赫内奇;卡斯滕·斯塔尔 验证参数化协议。 (英语) Zbl 0970.68105号 加州大学洛杉矶分校 7,第2号,规范发行。,141-158 (2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Baukus}等人,J.UCS 7,No.2,141--158(2001;Zbl 0970.68105)
乔比,克莉丝汀;帕斯卡·波伊扎特;Jean-Claude罗耶 科尔里根环境。 (英语) 兹伯利0973.68139 加州大学洛杉矶分校 7,第1号,规范发行。,19-53 (2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Choppy}等人,J.UCS 7,No.1,19-53(2001;Zbl 0973.68139) 全文: 链接
约翰·克罗斯利;伊曼·波尔莫莫 弗雷德:一种从证据中生成真实、正确、可重用程序的方法。 (英语) Zbl 0963.68107号 加州大学洛杉矶分校 7,第1号,规范发行。,71-88 (2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Crossley}和\textit{I.Poernomo},J.UCS 7,第1期,第71--88页(2001;Zbl 0963.68107) 全文: 链接
尤尔根·鲁夫 RAVEN:实时分析和验证环境。 (英语) Zbl 0963.68108号 加州大学洛杉矶分校 7,第1号,规范发行。,89-105 (2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ruf},J.UCS 7,第1号,89--105(2001;Zbl 0963.68108)
沃尔夫冈·雷夫(编辑);格哈德·谢尔霍恩(编辑) 特刊:系统设计和验证工具。FM-TOOLs 2000,第四车间,德国雷森堡城堡,2000年。 (英语) Zbl 0959.00038号 加州大学洛杉矶分校 7,第1号,规范发行。,5篇论文(2001年).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{W.Reif}(编辑)和\textit{G.Schellhorn}(编辑),J.UCS 7,第1期,第5期~论文(2001年;Zbl 0959.00038) 全文: 链接
约翰·马林斯 非确定性可容许干扰。 (英语) Zbl 0963.68105号 加州大学洛杉矶分校 6,11号,规范发行。,1054-1070(2000年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Mullins},J.UCS 6,第11号,1054--1070(2000;Zbl 0963.68105) 全文: 链接
罗伯特·克拉克;安娜·莫雷拉 使用E-LOTOS向UML添加形式。 (英语) Zbl 0963.68106号 加州大学洛杉矶分校 6,11号,规范发行。,1071-1087 (2000).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Clark}和\textit{A.Moreira},J.UCS 6,第11期,1071--1087(2000;Zbl 0963.68106) 全文: 链接
伊萨·特拉奥雷 UML状态图的PVS语义概述。 (英语) Zbl 0963.68102号 加州大学洛杉矶分校 6,11号,规范发行。,1088-1108 (2000).MSC公司:68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Traoré},J.UCS 6,第11号,1088--1108(2000;Zbl 0963.68102)
安东尼·麦克唐纳;大卫·卡林顿 规范风格的一些元素:结构化技术。 (英语) Zbl 0967.68109号 加州大学洛杉矶分校 6,第12期,1203-1225(2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.MacDonald}和\textit{D.Carrington},J.UCS 6,编号12,1203-1225(2000;Zbl 0967.68109) 全文: 链接
拉兹万·迪亚科内斯库;高基町五指 面向对象代数规范中的行为一致性。 (英语) Zbl 0963.68104号 加州大学洛杉矶分校 6,第1期,74-96(2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{K.Futatsugi},J.UCS 6,第1期,74-96(2000;Zbl 0963.68104) 全文: 链接
费利克斯·C·加特纳。 容错系统规范和验证的转换方法:正式背景和分类。 (英语) Zbl 0967.68108号 加州大学洛杉矶分校 5,第10期,668-692(1999).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.C.Gärtner},J.UCS 5,No.10,668--692(1999;Zbl 0967.68108) 全文: 链接
鲁特菲·苏菲 正则表达式的类型规范。 (英语) Zbl 0967.68107号 加州大学洛杉矶分校 5,第9期,622-631(1999).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{L.Soufi},J.UCS 5,第9号,622--631(1999;Zbl 0967.68107) 全文: 链接
新一大石 连续动力系统连接轨道存在性的数值验证方法。 (英语) Zbl 0965.65139号 加州大学洛杉矶分校 193-201年第2期第4页(1998年).MSC公司:65页30 37米20 37元29角 37C27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Oishi},J.UCS 4,第2期,193--201(1998;Zbl 0965.65139) 全文: 链接
米雷利,卢卡 将生产单元的ASM规范精炼为C++代码。 (英语) Zbl 0960.68106号 加州大学洛杉矶分校 第3期,第5期,第666-688页(1997年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Mearelli},J.UCS 3,第5号,666--688(1997;Zbl 0960.68106) 全文: 链接
菲利普·库特。;阿方索·皮兰托尼奥 真实编程语言的蒙太奇规范。 (英语) Zbl 0960.68017号 加州大学洛杉矶分校 第3期,第5期,第416-442页(1997年).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.W.Kutter}和\textit{A.Pierantonio},J.UCS 3,No.5,416--442(1997;Zbl 0960.68017) 全文: 链接
克尔斯滕·温特 抽象状态机的模型检查。 (英语) Zbl 0960.68071号 加州大学洛杉矶分校 3,第5号,689-701(1997).MSC公司:2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Winter},J.UCS 3,No.5,689--701(1997;Zbl 0960.68071) 全文: 链接
伊贡博格尔;卢卡·梅雷利 将ASM集成到软件开发生命周期中。 (英语) Zbl 0971.68051号 加州大学洛杉矶分校 3,第5期,603-665(1997).MSC公司:2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}和\textit{L.Mearelli},J.UCS 3,No.5,603--665(1997;Zbl 0971.68051) 全文: 链接
劳德斯·阿劳霍 通过抽象状态机证明Prolog的分布式实现的正确性。 (英语) Zbl 0960.68019号 加州大学洛杉矶分校 第3期,第5期,第568-602页(1997年).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Araujo},J.UCS 3,编号5,568--602(1997;Zbl 0960.68019) 全文: 链接
格哈德·谢尔霍恩;沃尔夫冈·阿伦特 关于抽象状态机的推理:WAM案例研究。 (英语) Zbl 0960.68090号 加州大学洛杉矶分校 3,第4期,377-413(1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn}和\textit{W.Ahrendt},J.UCS 3,第4号,377--413(1997;Zbl 0960.68090)