詹姆斯·格雷(James W.III Gray);保罗·F·西弗森。 概率系统多级安全的逻辑方法。 (英语) Zbl 1448.68190号 分布式计算。 11,No.2,73-90(1998).MSC公司:68平方米25 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Gray III}和\textit{P.F.Syverson},Distrib.Comput。11,第2号,73--90(1998;Zbl 1448.68190) 全文: 内政部 链接
Kohji富田;Igarashi、Shigeru;Chiharu Hosono公司;Tetsuya Mizutani;冢川、佐渡木 自治实时系统的表示。 (英语) Zbl 1021.93003号 坦索尔,新爵士。 59, 114-124 (1998). 审核人:库尔特·马蒂(纽比堡/慕尼黑) MSC公司:93A30型 93C83号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Tomita}等人,Tensor,New Ser。59114-124(1998年;Zbl 1021.93003)
M.K.瓦利耶夫。 时序逻辑在程序规范中的应用。 (英语。俄文原件) Zbl 0972.68110号 程序。计算。柔和。 24,第2期,47-51页(1998年); 翻译自Programmirovanie 1998,No.2,3-9(1998)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Valiev},程序。计算。柔和。24,第2号,47-51(1998;Zbl 0972.68110);译自Programmirovanie 1998,No.2,3--9(1998)
C·奥里亚特。 模块化规范研究。有限结肠炎图的构造,同构。二、。(模块化规范。大肠杆菌的精细结构、图表、同构。II。) (法语) Zbl 0958.18002号 图表 第40、71页(1998年). 审核人:A.Maggiolo-Schettini(比萨) MSC公司:18 C50 68问题65 18A30型 18A10号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Oriat},图表40,71 p.(1998;Zbl 0958.18002) 全文: 欧洲DML
奥利亚特,C。 模块化规范研究。有限结肠炎图的构造,同构。一、。(模块化规范。大肠杆菌的精细结构、图表、同构。I.) (法语) Zbl 0958.18001号 图表 39120页(1998年). 审核人:A.Maggiolo-Schettini(比萨) MSC公司:18 C50 68问题65 18A30型 18A10号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Oriat},图表39120 p.(1998;Zbl 0958.18001) 全文: 欧洲DML
T·艾特。;戈特洛布,G。;Y.古雷维奇。 字符串上的存在二阶逻辑。(扩展摘要)。 (英语) 兹比尔0945.03551 第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会。16-27 (1998).MSC公司:03C85号 03C13号机组 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,in:第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会。16-27(1998年;Zbl 0945.03551)
彼得·尼伯特 用于指定和验证分布式行为的时序逻辑。 (英语) Zbl 0935.03027号 希尔德斯海姆大学,246页(1998年)。MSC公司:03B44号 68问题85 03B70号 65年第68季度 2005年第68季度 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Niebert},分布式行为规范和验证的时序逻辑。希尔德斯海姆大学(1998;Zbl 0935.03027)
理查德·F·佩奇。 纯形式方法集成的异构符号。 (英语) Zbl 0934.68060号 正式Asp。计算。 10,第3期,233-242(1998年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Paige},正式Asp。计算。10,第3号,233--242(1998;Zbl 0934.68060) 全文: 内政部
A.西马蒂。;金奇利亚,F。;蒙加迪,G。;D.罗曼诺。;托里埃利,F。;特拉弗索,P。 使用模型检查对铁路联锁系统进行形式验证。 (英语) Zbl 1086.68556号 正式Asp。计算。 10,第4期,361-380页(1998年).MSC公司:60年第68季度 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式语法》。计算。10,第4号,361--380(1998;Zbl 1086.68556) 全文: 内政部
保罗·波托尼;代价高昂,玛丽亚·弗朗西丝卡;斯特凡诺·莱瓦尔迪;皮耶罗·穆西奥 作为交互手段的视觉语言规范。 (英语) Zbl 0933.68080号 Marriott,Kim(编辑)等人,《视觉语言理论》。柏林:斯普林格。353-375 (1998).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bottoni}等人,《视觉语言理论》。柏林:斯普林格。353--375(1998年;Zbl 0933.68080)
马克·安德烈;恩格斯,格雷戈尔;Rekers,Jan(简·雷克斯) 如何表示可视化规范。 (英语) Zbl 0933.68091号 Marriott,Kim(编辑)等人,《视觉语言理论》。柏林:斯普林格。245-259 (1998).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Andries}等人,《视觉语言理论》。柏林:斯普林格。245--259(1998年;Zbl 0933.68091)
吉莉安·希尔 正式规范。 (英语) Zbl 0922.68085号 鲁道夫·阿尔布雷希特(编辑),《系统:理论与实践》。维恩:施普林格。计算机科学进展。13-32(1998年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Hill},in:系统:理论与实践。维恩:施普林格。13-32(1998年;Zbl 0922.68085)
David M.Russinoff。 AMD-K7(^{TM})处理器的浮点乘法、除法和平方根算法符合IEEE的机械检查证明。 (英语) Zbl 0910.68008号 LMS J.计算。数学。 1,148-200,+附录A,B(1998年).MSC公司:2007年7月68日 68单位99 65岁99岁 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Russinoff},LMS J.计算。数学。1148--200,+附录A、B(1998;Zbl 0910.68008) 全文: 内政部 链接
斯坦·布德科夫斯基(编辑);安娜·卡瓦利(编辑);伊利·纳伊姆(编辑) 形式化描述技术和协议规范、测试和验证。XI/PSTV XVIII’98第十一堡。IFIP TC6 WG6。分布式系统和通信协议形式描述技术(FORTE XI)和协议规范、测试和验证(PSTV XVIII)联合国际会议,1998年11月3日至6日,法国巴黎。 (英语) Zbl 0905.68004号 国际信息处理联合会. 6. 波士顿:Kluwer学术出版社。viii,467页(1998年)。MSC公司:68M10个 00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{S.Budkowski}(ed.)等人,形式描述技术和协议规范,测试和验证。XI/PSTV XVIII’98第十一堡。IFIP TC6 WG6。分布式系统和通信协议形式描述技术(FORTE XI)和协议规范、测试和验证(PSTV XVIII)联合国际会议,1998年11月3日至6日,法国巴黎。波士顿:Kluwer学术出版社(1998;Zbl 0905.68004)
乔治·帕帕斯。;Shankar Sastry公司 矫直矩形差分夹杂物。 (英语) Zbl 0909.93036号 系统。控制信函。 35,第2期,79-85(1998年).MSC公司:93立方 34A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Pappas}和\textit{S.Sastry},系统。控制信函。35,第2号,79--85(1998;Zbl 0909.93036) 全文: 内政部
凯文·拉诺 反应式和实时系统的逻辑规范。 (英语) Zbl 0913.03028号 J.日志。计算。 8,第5号,679-711(1998).MSC公司:03B45号 2005年第68季度 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lano},J.Log。计算。8,编号5,679-711(1998年;Zbl 0913.03028) 全文: 内政部
奥尔纳·库普弗曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;米哈利斯·亚纳卡基斯 存在还原层次结构。 (英语) 兹伯利0909.68119 尼尔森,莫根斯(编辑)等人,《计算机科学逻辑》。第11届国际研讨会,CSL’97。EACSL年会,丹麦奥胡斯,1997年8月23日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1414, 327-340 (1998).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,Lect。注释计算。科学。1414327--340(1998年;Zbl 0909.68119)
尼尔斯·克拉伦德 Mona Fido:实际中的逻辑自动机连接。 (英语) Zbl 0916.68099号 尼尔森,莫根斯(编辑)等人,《计算机科学逻辑》。第11届国际研讨会,CSL’97。EACSL年会,丹麦奥胡斯,1997年8月23日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1414, 311-326 (1998). 审核人:M.Steinby(图尔库) MSC公司:60年第68季度 05年3月 65年第68季度 03B25号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{N.Klarlund},莱克特。注释计算。科学。1414311--326(1998年;Zbl 0916.68099)
阿卜杜勒瓦赫布·阿亚里;戴维·巴恩斯;安德烈亚斯·波德尔斯基 LISA:基于WS2S的规范语言。 (英语) Zbl 0908.03036号 尼尔森,莫根斯(编辑)等人,《计算机科学逻辑》。第11届国际研讨会,CSL’97。EACSL年会,丹麦奥胡斯,1997年8月23日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1414, 18-34 (1998).MSC公司:03B70号 60年第68季度 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ayari}等人,Lect。注释计算。科学。1414,18-34(1998;Zbl 0908.03036)
雷切尔·卡德尔·奥利弗 实时并发程序的操作语义和时间语义的等价定理。 (英语) Zbl 0904.68131号 J.日志。计算。 8,第4期,545-567(1998).MSC公司:68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Cardell-Oliver},J.Log(罗杰·洛格)。计算。8,第4号,545--567(1998;Zbl 0904.68131) 全文: 内政部
法比奥·马萨奇 多智能体分布式系统形式化验证的表方法。 (英语) Zbl 0904.68133号 J.日志。计算。 8,第3期,373-400(1998年).MSC公司:60年第68季度 68M10个 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Massacci},J.Log。计算。8,第3号,373--400(1998;Zbl 0904.68133) 全文: 内政部
马克·D’Inverno;幸运,迈克尔 Engineering AgentSpeak(L):一个正式的计算模型。 (英语) Zbl 0904.68060号 J.日志。计算。 8,第3期,233-260(1998年).MSC公司:68N99型 60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.D'Inverno}和\textit{M.Luck},J.Log。计算。8,第3号,233--260(1998;Zbl 0904.68060) 全文: 内政部 链接
黄世玉;郑光廷 形式等价性检查和设计调试。 (英语) Zbl 0911.68009号 电子测试的前沿。12.波士顿:Kluwer学术出版社。xviii,229 p.迪福245.00;$106.50; 72.50英镑(1998年)。 审核人:R.Kolla(萨尔布吕肯) MSC公司:68米15 68-01 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{S.-Y.Huang}和\textit{K.-T.Cheng},形式等价性检查和设计调试。波士顿:Kluwer学术出版社(1998;Zbl 0911.68009)
迪特尔·芬塞尔;瑞克斯·格伦布姆;德拉瓦莱特,G.R.雷纳德 模态变换逻辑(MCL):指定基于知识的系统的推理。 (英语) Zbl 0905.68090号 数据知识。工程师。 26,第3期,243-269(1998年).MSC公司:60年第68季度 68T27型 68立方英尺 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Fensel}等人,数据知识。工程26,No.3,243--269(1998;Zbl 0905.68090) 全文: 内政部
托马斯·博齐斯科夫斯基 结构化规范逻辑系统的完整性。 (英语) Zbl 0901.03028号 Parisi Presicce,Francesco(编辑),代数开发技术的最新趋势。1997年6月3日至7日,第12届国际研讨会,WADT’97,意大利塔基尼亚。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1376, 107-121 (1998).MSC公司:03B70号 68问题65 60年第68季度 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{T.Borzyszkowski},莱克特。注释计算。科学。1376107-121(1998;Zbl 0901.03028)
约翰·库克 构建正确的软件。基础知识。 (英语) Zbl 0903.68121号 计算和信息技术的形式化方法(FACIT)。柏林:斯普林格。xiv,402 p.(1998)。 审核人:M.Gheorghe(布库雷什蒂) MSC公司:60年第68季度 68-01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Cooke},构建正确的软件。基础知识。柏林:施普林格(1998;Zbl 0903.68121)
胡安·比卡雷奎。(编辑) VDM证明。案例研究。 (英语) Zbl 0897.68064号 计算和信息技术的形式化方法(FACIT)。柏林:斯普林格。xiv,226页(1998年)。 审核人:M.Gheorghe(布库雷什蒂) MSC公司:60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Bicarregui}(编辑),VDM中的证明。案例研究。柏林:施普林格出版社(1998;Zbl 0897.68064)