×

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

大挑战中的验证。 (英语) Zbl 1507.68098号

Jones,Cliff B.(编辑)等人,《编程理论》。托尼·霍尔的生活和作品。纽约州纽约市:计算机协会(ACM)。ACM Books 39,125-156(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

学习具有屏障证书的安全神经网络控制器。 (英语) Zbl 1503.93022号

Pang,Jun(编辑)等人,可靠软件工程。理论、工具和应用。第六届国际研讨会,SETTA 2020,中国广州,2020年11月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12153, 177-185 (2020).
PDF格式BibTeX公司 XML格式引用

使用UTP对控制律图进行组合假设保证推理。 (英语) Zbl 1486.68045号

Adamatzky,Andrew(编辑)等人,《从天体物理学到非常规计算》。在苏珊·斯蒂芬尼60岁生日之际向她提交的论文。查姆:斯普林格。新兴复杂性。计算。35, 215-254 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

RoboChart的概率语义。最弱的完成方法。 (英语) Zbl 07168635号

Ribeiro,Pedro(编辑)等人,《统一编程理论》。2019年10月8日,在托尼·霍尔85岁生日之际,在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11885, 80-105 (2019).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

空间、时间和因果关系的微积分:代数、几何、逻辑。 (英语) Zbl 07168631号

Ribeiro,Pedro(编辑)等人,《统一编程理论》。2019年10月8日,在托尼·霍尔85岁生日之际,在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11885, 3-21 (2019).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

带有反应关系和Kleene代数的反应式程序的计算验证。 (英语) Zbl 1518.68049号

Desharnais,Jules(编辑)等人,《计算机科学中的关系和代数方法》。第17届国际会议,RAMiCS 2018,荷兰格罗宁根,2018年10月29日至11月1日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11194, 205-224 (2018).
PDF格式BibTeX公司 XML格式引用

使用UTP和Isabelle/HOL验证网络物理系统。 (英语) Zbl 1485.68150号

Gibson-Robinson,Thomas(编辑)等人,《并发、安全和谜题》。在安德鲁·威廉·罗斯科60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10160, 39-64 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

将理论联系起来的逐步方法。 (英语) Zbl 1483.68090号

Bowen,Jonathan P.(编辑)等人,《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10134, 134-154 (2017).
MSC公司:68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有延续的反应过程的UTP语义。 (英语) Zbl 1483.68087号

Bowen,Jonathan P.(编辑)等人,《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10134, 114-133 (2017).
MSC公司:68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用透镜统一异构状态空间。 (英语) Zbl 1482.68089号

Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9965, 295-314 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

FMI联合模拟的行为模型。 (英语) Zbl 1482.68135号

Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9965, 255-273 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

面向的代数语义马戏团时间. (英语) Zbl 1457.68071号

戴维·诺曼,《统一编程理论》。第五届国际研讨会,2014年UTP,新加坡,2014年5月13日。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。8963, 84-104 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Isabelle/UTP:一个机械化的理论工程框架。 (英语) Zbl 1457.68061号

戴维·诺曼,《统一编程理论》。第五届国际研讨会,2014年UTP,新加坡,2014年5月13日。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。8963, 21-41 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

UTP中定时外部选择的三种方法。 (英语) Zbl 1457.68059号

戴维·诺曼,《统一编程理论》。第五届国际研讨会,2014年UTP,新加坡,2014年5月13日。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。8963, 1-20 (2015).
MSC公司:68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CSP和Kripke结构。 (英语) Zbl 1471.68135号

Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9399005-523(2015)中所述。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

马戏团时间采用反应式设计。 (英语) Zbl 1452.68057号

Wolff,Burkhart(编辑)等人,《统一编程理论》。第四届国际研讨会,2012年UTP,2012年8月27日至28日,法国巴黎。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。7681, 68-87 (2013).
MSC公司:68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

统一UTP中的不确定性理论。 (英语) Zbl 1452.68058号

Wolff,Burkhart(编辑)等人,《统一编程理论》。第四届国际研讨会,2012年UTP,2012年8月27日至28日,法国巴黎。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。7681, 1-22 (2013).
MSC公司:68号30 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

统一伊莎贝尔的编程理论。 (英语) Zbl 1444.68049号

刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日,在中国上海举行的ICTAC 2013国际软件工程培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 109-155 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

统一编程理论和形式化工程方法。2013年8月26日至30日,在中国上海举行的ICTAC 2013国际软件工程培训学校。高级讲座。 (英语) Zbl 1320.68021号

计算机科学课堂讲稿8050.柏林:施普林格出版社(ISBN 978-3-642-39720-2/pbk;978-3-442-39721-9/电子书)。xi,第283页。(2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

统一逻辑和规范理论。 (英语) Zbl 1409.68167号

Iyoda,Juliano(编辑)等人,《形式方法:基础和应用》。2013年9月29日至10月4日在巴西巴西利亚举行的第16届巴西研讨会,SBMF 2013。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8195, 18-33 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于程序验证的Simulink定时模型。 (英语) Zbl 1390.68423号

Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051,82-99(2013)。
MSC公司:60年第68季度 68岁20岁
PDF格式BibTeX公司 XML格式引用
全文: 内政部

托克纳实验。 (英语) Zbl 1213.68391号

克利夫·琼斯(编辑)等人,《对C.A.R.霍尔作品的反思》。大多数论文基于2009年4月在英国剑桥举行的庆祝托尼·霍尔75岁生日的会议上的陈述。伦敦:施普林格出版社(ISBN 978-1-84882-911-4/hbk;978-1-848 82-912-1/电子书)。405-430 (2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反应式编程的奇迹。 (英语) Zbl 1286.68096号

Andrew Butterfield(编辑),统一编程理论。第二届国际研讨会,2008年UTP,爱尔兰都柏林,2008年9月8-10日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-14520-9/pbk)。计算机科学课堂讲稿5713202-217(2010)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

统一中断理论。 (英语) Zbl 1286.68088号

Andrew Butterfield(编辑),统一编程理论。第二届国际研讨会,2008年UTP,爱尔兰都柏林,2008年9月8-10日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-14520-9/pbk)。计算机科学课堂讲稿5713,122-141(2010)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Handel-C合成的机械化线控验证。 (英语) Zbl 1347.68235号

Patricia D.L.Machado(编辑),第十一届巴西正式方法研讨会论文集(SBMF 2008)2008年8月26日至29日,巴西萨尔瓦多。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记240,201-219(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

UTP指针理论。 (英语) Zbl 1161.68388号

Fitzgerald,John S.(编辑)等人,《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会,土耳其伊斯坦布尔,2008年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85761-7/pbk)。《计算机科学讲义》5160、141-155(2008)。
MSC公司:68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证明关于JML类的定理。 (英语) Zbl 1151.68348号

Jones,Cliff B.(编辑)等人,《形式化方法和混合实时系统》。纪念迪内斯·比约纳和周朝晨70岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-75220-2/pbk)。计算机科学课堂讲稿4700,255-279(2007)。
MSC公司:68甲15 68甲19 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

形式化方法和混合实时系统。纪念迪内斯·比约纳和周朝晨70岁生日的文章。 (英语) 兹比尔1130.68009

计算机科学课堂讲稿4700.柏林:施普林格出版社(ISBN 978-3-540-75220-2/pbk)。十六、539页。(2007).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Z/Eves和mondex电子钱包。 (英语) Zbl 1168.68544号

Barkaoui,Kamel(编辑)等人,《计算的理论方面——ICTAC 2006》。第三次国际学术讨论会,突尼斯,突尼斯,2006年11月20日至24日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-48815-6/pbk)。计算机科学课堂讲稿4281,15-34(2006)。
MSC公司:68吨15 68第25页 60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

统一编程理论中的指针和记录。 (英语) Zbl 1186.68107号

Steve Dunne等人,《统一编程理论》。2006年2月5日至7日,在英国达勒姆郡沃尔沃斯城堡举行的UTP 2006第一届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-34750-7/pbk)。计算机科学讲座笔记4010200-216(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

天使般的不确定性和统一的编程理论。 (英语) 兹比尔1276.68054

Derrick,John(编辑)等人,《REFINE 2005研讨会论文集》,英国吉尔福德,2005年4月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》137,第2期,45-66(2005)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 链接

关于系统属性的更简单推理:一种证明精化技术。 (英语) Zbl 1276.68052号

Derrick,John(编辑)等人,《REFINE 2005研讨会论文集》,英国吉尔福德,2005年4月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》137,第2期,5-22(2005)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 链接

模型检查Circus的操作语义。 (英语) Zbl 1120.68423号

Fitzgerald,John(编辑)等人,FM 2005:形式方法。欧洲正式方法国际研讨会,英国纽卡斯尔,2005年7月18日至22日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27882-6/pbk)。计算机科学课堂讲稿3582237-252(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

旅行过程。 (英语) Zbl 1106.68347号

德克斯特(编辑),《程序构建的数学》。2004年7月12日至14日在英国苏格兰斯特林举行的2004年MPC第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22380-0/pbk)。计算机科学课堂讲稿3125381-399(2004)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Handel-C的语义域。 (英语) Zbl 1270.68151号

Flynn,Sharon等人,MFCSIT 2002。2002年7月18日至19日,爱尔兰戈尔韦,爱尔兰国立大学,第二届爱尔兰计算机科学和信息技术数学基础会议论文集。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》74,1-20(2003)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

马戏团动作的精细化。 (英语) Zbl 1270.68079号

Derrick,John(编辑)等人,REFINE 2002。BCS FACS精炼研讨会会议记录(FLoC 2002卫星活动),丹麦哥本哈根,2002年7月20日至21日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记70,第3期,132-162(2002)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

完善2002年。BCS FACS精炼研讨会会议记录(FLoC 2002卫星活动),丹麦哥本哈根,2002年7月20日至21日。 (英语) Zbl 1270.68022号

理论计算机科学电子笔记70,第3条。阿姆斯特丹:爱思唯尔。1-330,仅电子版(2002年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

马戏团中的精致。 (英语) Zbl 1064.68539号

Eriksson、Lars-Henrik(编辑)等人,《FME 2002:正式方法——正确使用IT》。欧洲正式方法国际研讨会,丹麦哥本哈根,2002年7月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43928-5)。莱克特。注释计算。科学。2391, 451-470 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

马戏团的语义。 (英语) Zbl 1044.68560号

Bert,Didier(编辑)等人,ZB 2002:Z和B中的正式规范和开发。第二届B和Z用户国际会议,法国格勒诺布尔,2002年1月23日至25日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43166-7)。莱克特。注释计算。科学。2272, 184-203 (2002).
MSC公司:68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
全文: 链接

统一并行编程理论。 (英语) Zbl 1015.68819号

George,Chris(ed.)等人,《形式方法与软件工程》,第四届形式工程方法国际会议,2002年ICFEM,中国上海,2002年10月21日至25日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2495, 24-37 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

关于数据类型和过程的精化和模拟。 (英语) Zbl 0963.68126号

Araki,Keijiro(编辑)等人,IFM 99。《第一届综合形式方法国际会议论文集》,英国约克,1999年6月28日至29日。伦敦:施普林格。273-292 (1999).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

通过\(Z\)和CSP进行安全管理。 (英语) Zbl 0924.68139号

吉姆·格兰迪(编辑)等人,《国际精炼研讨会和正式方法太平洋1998》。98年IRW/FMP会议记录。澳大利亚堪培拉,1998年9月29日至10月2日。柏林:斯普林格。离散数学和理论计算机科学的Springer系列。334-351(1998年)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

通过决定论不干涉。 (英语) Zbl 1477.68063号

Dieter Gollmann(编辑),《计算机安全——ESORICS 94》。第三届欧洲计算机安全研究研讨会,英国布莱顿,1994年11月7日至9日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。875, 31-53 (1994).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

传记参考