×

找到13个文档(结果1-13)

交互式系统的模块化验证与生物学应用。 (英语) Zbl 1283.68204号

Krivine,Jean(编辑)等人,第一届计算机科学与生物学相互作用国际研讨会论文集(CS2Bio'10),荷兰阿姆斯特丹,2010年6月10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记268,61-75(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用通信分层时间自动机对长时间运行的事务进行建模。 (英语) Zbl 1461.68136号

Gorrieri,Roberto(ed.)等人,开放式基于对象的分布式系统的形式化方法。第八届IFIP工作组6.1国际会议,2006年6月14日至16日,意大利博洛尼亚,FMOODS 2006。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。4037108-122(2006)中描述。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通信分层机器的结构模型检查。 (英语) Zbl 1096.68092号

吉·菲亚拉(编辑)等,《2004年计算机科学数学基础》。2004年8月22日至27日,第29届国际研讨会,MFCS,捷克共和国布拉格。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22823-3/pbk)。计算机科学课堂讲稿3153525-536(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

网络隐私定时攻击的正式模型。 (英语) Zbl 1268.68036号

Lenisa,Mariana(编辑)等人,TOSCA 2001。并发理论、高级语言和类型研讨会论文集,意大利乌迪内,2001年11月19-21日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记62,229-243(2002)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份