×

找到17个文档（结果1-17）

最新的 引文 关联
刘一静;邱宗燕;龙，权

WP语义和行为子类型。 （英语） Zbl 1351.68167号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会，南非约翰内斯堡，2011年8月31日至9月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23282-4/pbk）。计算机科学课堂讲稿6916，154-172（2011）。
MSC公司：60年第68季度 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{Y.Liu}等人，Lect。注释计算。科学。6916154-172（2011年；兹bl 1351.68167）
全文： DOI程序
Siavash Soleimanifard公司;古罗夫，帝力;玛丽克·赫斯曼

ProMoVer：临时安全属性的模块化验证。 （英语） Zbl 1350.68188号

Barthe，Gilles（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。计算机科学课堂讲稿7041366-381（2011）。
MSC公司：60年第68季度 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{S.Soleimanifard}等人，Lect。注释计算。科学。7041366--381（2011年；Zbl 1350.68188）
全文： DOI程序 链接
玛丽克·赫斯曼;古罗夫，帝力

CVPP：用于控制流安全特性成分验证的工具集。 （英语） 兹比尔1308.68042

Beckert，Bernhard（编辑）等人，面向对象软件的形式验证。2010年6月28日至30日，法国巴黎，FoVeOOS 2010国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18069-9/pbk）。计算机科学课堂讲稿6528107-121（2011）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Huisman}和\textit{D.Gurov}，莱克特。注释计算。科学。6528，107-121（2011；Zbl 1308.68042）
全文： DOI程序
罗纳尔德·米德尔科普;惠泽，科内利斯;鲁德·柯伊伯;埃里克·J·路易特。

非层次对象结构的不变量。 （英语） Zbl 1279.68058号

Moreira，Anamaria Martins（编辑）等人，《巴西正式方法研讨会论文集》（SBMF 2006），Natal，Rio Grande de Norte，巴西，2006年9月17日至23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记195，211-229（2008）。
MSC公司：68号30 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Middelkoop}等人，《电子》。理论注释。计算。科学。195211-229（2008年；Zbl 1279.68058）
全文： DOI程序
戴夫·坎宁安;沃纳·迪特尔;索菲亚·德罗索波卢;阿德里安·弗兰卡兰扎;彼得·米勒;亚历山大·萨默斯。

拓扑和封装的人群类型。 （英语） Zbl 1209.68125号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修改后的讲座。柏林：施普林格出版社（ISBN 978-3-540-92187-5/pbk）。《计算机科学讲义》5382，72-112（2008）。
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{D.Cunningham}等人，Lect。注释计算。科学。5382、72-112（2008年；Zbl 1209.68125）
全文： DOI程序 链接
阿恩·施·赫夫特;1月Schäfer

面向对象组件的表示相关的行为语义。 （英语） Zbl 1202.68100号

Bonsange，Marcello M.（编辑）等人，开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日，第九届IFIP WG 6.1国际会议FMOODS 2007，塞浦路斯帕福斯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72919-8/pbk）。计算机科学课堂讲稿4468157-173（2007）。
MSC公司：68甲19 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Poetzsch-Heffter}和\textit{J.Schäfer}，莱克特。注释计算。科学。4468，157--173（2007；Zbl 1202.68100）
全文： DOI程序
Neponiaschij，V.A。;安努列夫，I.S。;杜布拉诺夫斯基，I.V。;普罗姆斯基，A.V。

C程序验证：三级方法。 （英语。俄文原件） Zbl 1117.68020号

程序。计算。柔和。 32，第4期，190-202（2006）; 译自Programmirovanie 2006，第4期，4-20（2006）。
MSC公司：68号30 60年第68季度 68问题55 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Nepominaschij}等人，项目。计算。柔和。32，编号4190-202（2006年；Zbl 1117.68020）；译自Programmirovanie 2006，No.4，4--20（2006）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件