托马斯·库利克;布里杰什·多戈尔;彼得·戈姆·拉森;马其顿,雨果·丹尼尔;史蒂夫·施耐德;彼得·沃根森(Peter W.V.Tran-Jörgensen)。;詹姆斯·伍德科克 安全性的实用形式化方法综述。 (英语) 兹比尔1522.68089 正式Asp。计算。 34,第1号,第5号论文,39页(2022年).MSC公司:68平方米25 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Kulik}等人,正式Asp。计算。34,第1号,第5号论文,39页(2022年;Zbl 1522.68089) 全文: 内政部 arXiv公司
吉姆·伍德科克 霍尔和他正在统一编程理论。 (英语) Zbl 1507.68097号 Jones,Cliff B.(编辑)等人,《编程理论》。托尼·霍尔的生活和作品。纽约州纽约市:计算机协会(ACM)。ACM Books 39,285-316(2021)。MSC公司:68号30 68-03 PDF格式BibTeX公司 XML格式引用 \textit{J.Woodcock},ACM图书39,285--316(2021;Zbl 1507.68097) 全文: 内政部
吉姆·伍德科克;珍妮特·巴恩斯;罗德·查普曼;西蒙·福斯特;托马斯·桑顿 大挑战中的验证。 (英语) Zbl 1507.68098号 Jones,Cliff B.(编辑)等人,《编程理论》。托尼·霍尔的生活和作品。纽约州纽约市:计算机协会(ACM)。ACM Books 39,125-156(2021)。MSC公司:68号30 68-03 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Woodcock}等人,ACM Books 39,125--156(2021;Zbl 1507.68098) 全文: 内政部 链接
赵恒军;曾、夏;陈、陶璐;刘志明;吉姆·伍德科克 学习具有屏障证书的安全神经网络控制器。 (英语) Zbl 1521.93054号 正式Asp。计算。 33,第3期,437-455(2021年).MSC公司:93亿B50 93D20型 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhao}等人,《正式评论》。计算。33,编号3,437--455(2021;Zbl 1521.93054) 全文: 内政部 arXiv公司
西蒙·福斯特;叶康峰;安娜·卡瓦尔坎蒂;吉姆·伍德科克 通过计算自动验证反应式程序和并发程序。 (英语) Zbl 1518.68206号 J.日志。代数。方法计划。 121,文章ID 100681,34 p.(2021).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,J.Log。代数。方法计划。121,文章ID 100681,34 p.(2021;Zbl 1518.68206) 全文: 内政部 arXiv公司
赵恒军;曾、夏;陈、陶璐;刘志明;吉姆·伍德科克 学习具有屏障证书的安全神经网络控制器。 (英语) Zbl 1503.93022号 Pang,Jun(编辑)等人,可靠软件工程。理论、工具和应用。第六届国际研讨会,SETTA 2020,中国广州,2020年11月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12153, 177-185 (2020).MSC公司:93亿B50 60年第68季度 68T05型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhao}等人,Lect。注释计算。科学。12153177--185(2020年;Zbl 1503.93022) 全文: 内政部 arXiv公司
叶康峰;西蒙·福斯特;吉姆·伍德科克 使用UTP对控制律图进行组合假设保证推理。 (英语) Zbl 1486.68045号 Adamatzky,Andrew(编辑)等人,《从天体物理学到非常规计算》。在苏珊·斯蒂芬尼60岁生日之际向她提交的论文。查姆:斯普林格。新兴复杂性。计算。35, 215-254 (2020).MSC公司:68号30 第68季度55 68V20型 93-10 PDF格式BibTeX公司 XML格式引用 \textit{K.Ye}等人,《新兴复合体》。计算。35、215——254(2020年;Zbl 1486.68045) 全文: 内政部 链接
西蒙·福斯特;安娜·卡瓦尔坎蒂;塞缪尔·卡纳姆;吉姆·伍德科克;泽达,弗兰克 统一反应设计合同理论。 (英语) 兹比尔1436.68195 西奥。计算。科学。 802,105-140(2020).MSC公司:60年第68季度 第68季度55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,Theor。计算。科学。802105-140(2020年;Zbl 1436.68195) 全文: 内政部 arXiv公司 链接
吉姆·伍德科克;安娜·卡瓦尔坎蒂;西蒙·福斯特;亚历山大·莫塔;叶康峰 RoboChart的概率语义。最弱的完成方法。 (英语) Zbl 07168635号 Ribeiro,Pedro(编辑)等人,《统一编程理论》。2019年10月8日,在托尼·霍尔85岁生日之际,在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11885, 80-105 (2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Woodcock}等人,Lect。注释计算。科学。11885,80-105(2019;Zbl 07168635) 全文: 内政部
你好,托尼;乔治·斯特鲁斯;吉姆·伍德科克 空间、时间和因果关系的微积分:代数、几何、逻辑。 (英语) Zbl 07168631号 Ribeiro,Pedro(编辑)等人,《统一编程理论》。2019年10月8日,在托尼·霍尔85岁生日之际,在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11885, 3-21 (2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人,Lect。注释计算。科学。11885,3--21(2019;Zbl 07168631) 全文: 内政部 链接
西蒙·福斯特;叶康峰;安娜·卡瓦尔坎蒂;吉姆·伍德科克 带有反应关系和Kleene代数的反应式程序的计算验证。 (英语) Zbl 1518.68049号 Desharnais,Jules(编辑)等人,《计算机科学中的关系和代数方法》。第17届国际会议,RAMiCS 2018,荷兰格罗宁根,2018年10月29日至11月1日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11194, 205-224 (2018).MSC公司:68号30 第68季度55 60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,Lect。注释计算。科学。11194205-224(2018;Zbl 1518.68049) 全文: 内政部 arXiv公司 链接
西蒙·福斯特;吉姆·伍德科克 使用UTP和Isabelle/HOL验证网络物理系统。 (英语) Zbl 1485.68150号 Gibson-Robinson,Thomas(编辑)等人,《并发、安全和谜题》。在安德鲁·威廉·罗斯科60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10160, 39-64 (2017).MSC公司:60年第68季度 68问题85 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}和\textit{J.Woodcock},莱克特。注释计算。科学。10160,39-64(2017;Zbl 1485.68150) 全文: 内政部 链接
佩德罗·里贝罗;安娜·卡瓦尔坎蒂;吉姆·伍德科克 将理论联系起来的逐步方法。 (英语) Zbl 1483.68090号 Bowen,Jonathan P.(编辑)等人,《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10134, 134-154 (2017).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.Ribeiro}等人,Lect。注释计算。科学。10134、134--154(2017;Zbl 1483.68090) 全文: 内政部
杰拉尔德·埃肯贝·恩贡迪;吉姆·伍德科克 带有延续的反应过程的UTP语义。 (英语) Zbl 1483.68087号 Bowen,Jonathan P.(编辑)等人,《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10134, 114-133 (2017).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Ngondi}和\textit{J.Woodcock},莱克特。注释计算。科学。10134、114--133(2017;Zbl 1483.68087) 全文: 内政部
毛里齐奥·普罗埃蒂(编辑);西基、广岛(编辑);吉姆·伍德科克(编辑) 编辑。 (英语) Zbl 1355.00045号 正式Asp。计算。 29,第1期,第1-2期(2017年).MSC公司:00B25型 68-06 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Proietti}(编辑)等,《形式语法》。计算。29,编号1,1--2(2017;Zbl 1355.00045) 全文: 内政部
西蒙·福斯特;泽达,弗兰克;吉姆·伍德科克 用透镜统一异构状态空间。 (英语) Zbl 1482.68089号 Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9965, 295-314 (2016).MSC公司:68号30 68问题65 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,Lect。注释计算。科学。9965295-314(2016;Zbl 1482.68089) 全文: 内政部 链接
安娜·卡瓦尔坎蒂;吉姆·伍德科克;努诺州阿马利奥 FMI联合模拟的行为模型。 (英语) Zbl 1482.68135号 Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9965, 255-273 (2016).MSC公司:60年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,Lect。注释计算。科学。9965,255-273(2016;Zbl 1482.68135) 全文: 内政部 链接
魏坤;吉姆·伍德科克 面向的代数语义马戏团时间. (英语) Zbl 1457.68071号 戴维·诺曼,《统一编程理论》。第五届国际研讨会,2014年UTP,新加坡,2014年5月13日。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。8963, 84-104 (2015).MSC公司:68号30 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Wei}和\textit{J.Woodcock},Lect。注释计算。科学。8963,84-104(2015;Zbl 1457.68071) 全文: 内政部
西蒙·福斯特;泽达,弗兰克;吉姆·伍德科克 Isabelle/UTP:一个机械化的理论工程框架。 (英语) Zbl 1457.68061号 戴维·诺曼,《统一编程理论》。第五届国际研讨会,2014年UTP,新加坡,2014年5月13日。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。8963, 21-41 (2015).MSC公司:68号30 第68季度55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,Lect。注释计算。科学。8963,21-41(2015;Zbl 1457.68061) 全文: 内政部 链接
塞缪尔·卡纳姆;吉姆·伍德科克 UTP中定时外部选择的三种方法。 (英语) Zbl 1457.68059号 戴维·诺曼,《统一编程理论》。第五届国际研讨会,2014年UTP,新加坡,2014年5月13日。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。8963, 1-20 (2015).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.Canham}和\textit{J.Woodcock},莱克特。注释计算。科学。8963,1--20(2015;Zbl 1457.68059) 全文: 内政部
安娜·卡瓦尔坎蒂;黄文林;简·佩莱斯卡;吉姆·伍德科克 CSP和Kripke结构。 (英语) Zbl 1471.68135号 Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9399005-523(2015)中所述。MSC公司:60年第68季度 03B70号 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,Lect。注释计算。科学。9399,505--523(2015;Zbl 1471.68135) 全文: 内政部
程淑;吉姆·伍德科克;迪帕克D’Souza 在FreeRTOS的任务模型上使用形式推理。 (英语) 兹比尔1328.68044 正式Asp。计算。 27,第1期,167-192(2015).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cheng}等人,正式Asp。计算。27,第1号,167--192(2015;Zbl 1328.68044) 全文: 内政部
安娜·卡瓦尔坎蒂;史蒂夫·金;科林·奥哈洛兰;吉姆·伍德科克 通过验证生成控制覆盖范围的测试数据。 (英语) Zbl 1342.68206号 正式Asp。计算。 26,第4期,795-823(2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,《正式Asp》。计算。26,第4号,795--823(2014;Zbl 1342.68206) 全文: 内政部
魏坤;吉姆·伍德科克;安娜·卡瓦尔坎蒂 马戏团时间采用反应式设计。 (英语) Zbl 1452.68057号 Wolff,Burkhart(编辑)等人,《统一编程理论》。第四届国际研讨会,2012年UTP,2012年8月27日至28日,法国巴黎。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。7681, 68-87 (2013).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Wei}等人,Lect。注释计算。科学。7681,68--87(2013;Zbl 1452.68057) 全文: 内政部
吉姆·伍德科克;维克托·班杜尔 统一UTP中的不确定性理论。 (英语) Zbl 1452.68058号 Wolff,Burkhart(编辑)等人,《统一编程理论》。第四届国际研讨会,2012年UTP,2012年8月27日至28日,法国巴黎。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。7681, 1-22 (2013).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Woodcock}和\textit{V.Bandur},莱克特。注释计算。科学。7681,1--22(2013;Zbl 1452.68058) 全文: 内政部 链接
西蒙·福斯特;吉姆·伍德科克 统一伊莎贝尔的编程理论。 (英语) Zbl 1444.68049号 刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日,在中国上海举行的ICTAC 2013国际软件工程培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 109-155 (2013).MSC公司:68号30 第68季度55 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}和\textit{J.Woodcock},莱克特。注释计算。科学。8050109-155(2013年;兹bl 1444.68049) 全文: 内政部 链接
刘志明(编辑);吉姆·伍德科克(编辑);朱慧彪(编辑) 统一编程理论和形式化工程方法。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).MSC公司:68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}(编辑)等人,统一编程理论和形式化工程方法。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林:施普林格出版社(2013;Zbl 1320.68021) 全文: 内政部
维克托·班杜尔;吉姆·伍德科克 统一逻辑和规范理论。 (英语) Zbl 1409.68167号 Iyoda,Juliano(编辑)等人,《形式方法:基础和应用》。2013年9月29日至10月4日在巴西巴西利亚举行的第16届巴西研讨会,SBMF 2013。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8195, 18-33 (2013).MSC公司:60年第68季度 03B50号 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{V.Bandur}和\textit{J.Woodcock},莱克特。注释计算。科学。8195,18-33(2013;Zbl 1409.68167) 全文: 内政部
魏坤;吉姆·伍德科克;艾伦·伯恩斯 使用时间段对复杂系统中的时间行为进行建模。 (英语) 兹比尔1291.68271 形式方法系统。设计。 43,第3期,520-551(2013).MSC公司:60年第68季度 68号30 03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Wei}等人,《形式方法系统》。设计。43,第3号,520--551(2013;Zbl 1291.68271) 全文: 内政部 链接
安娜·卡瓦尔坎蒂;泽达,弗兰克;安迪·威林斯;吉姆·伍德科克;魏坤 来自的安全关键Java程序马戏团模型。 (英语) Zbl 1285.68037号 实时系统。 49,第5期,614-667(2013).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,实时系统。49,No.5,614--667(2013;Zbl 1285.68037) 全文: 内政部
安娜·卡瓦尔坎蒂;亚历山大·莫塔;吉姆·伍德科克 用于程序验证的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格式引用 \textit{A.Cavalcanti}等人,Lect。注释计算。科学。8051,82-99(2013;Zbl 1390.68423) 全文: 内政部
马塞尔·奥利维拉;安娜·卡瓦尔坎蒂;吉姆·伍德科克 统一Pro-Power-Z中的理论。 (英语) Zbl 1259.68035号 正式Asp。计算。 25,第1期,133-158(2013).MSC公司:68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Oliveira}等人,正式Asp。计算。25,第1号,133--158(2013;Zbl 1259.68035) 全文: 内政部
安娜·卡瓦尔坎蒂;安迪·威林斯;吉姆·伍德科克 安全关键型Java内存模型正式化。 (英语) Zbl 1259.68029号 正式Asp。计算。 25,第1期,37-57(2013).MSC公司:68甲19 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,《正式Asp》。计算。25、1号、37-57(2013;Zbl 1259.68029) 全文: 内政部
胡安·佩纳;吉姆·伍德科克 Handel-C合成的机械化线控验证。 (英语) Zbl 1243.68154号 科学。计算。程序。 77,第4期,424-443(2012).MSC公司:68号30 60年第68季度 68吨15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Perna}和\textit{J.Woodcock},科学。计算。程序。77,第4号,424--443(2012;Zbl 1243.68154) 全文: 内政部
胡安·佩纳;吉姆·伍德科克;奥古斯托·桑帕约;朱利亚诺·伊奥达 正确的硬件合成。 (英语) Zbl 1234.68067号 Acta信息。 48,编号7-8,363-396(2011).MSC公司:68N20型 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Perna}等人,《信息学报》第48期,第7--8、363--396号(2011年;Zbl 1234.68067) 全文: 内政部
丹尼尔·克罗宁(编辑);蒂齐亚娜·玛格丽亚(编辑);吉姆·伍德科克(编辑) 特刊:2008年VSTTE工具研讨会。根据2008年10月6日至9日在加拿大多伦多举行的“验证软件:理论、工具和实验”会议上的演示文稿选出的论文。 (英语) Zbl 1243.68021号 正式Asp。计算。23,第5期,585-679(2011)。 MSC公司:68-06 60年第68季度 68号30 00B25型 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).MSC公司:60年第68季度 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Woodcock}等人,in:对C.A.R.Hoare作品的反思。大多数论文基于2009年4月在英国剑桥举行的庆祝托尼·霍尔75岁生日的会议上的陈述。伦敦:施普林格。405--430(2010年;Zbl 1213.68391) 全文: 内政部
吉姆·伍德科克 反应式编程的奇迹。 (英语) 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格式引用 \textit{J.Woodcock},莱克特。注释计算。科学。571320-217(2010年;Zbl 1286.68096) 全文: 内政部
阿利斯泰尔·麦克尤恩(Alistair A.McEwan)。;吉姆·伍德科克 统一中断理论。 (英语) 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格式引用 \textit{A.A.McEwan}和\textit{J.Woodcock},莱克特。注释计算。科学。5713122-141(2010年;兹比尔1286.68088) 全文: 内政部
胡安·伊格纳西奥·佩尔纳;吉姆·伍德科克 Handel-C合成的机械化线控验证。 (英语) Zbl 1347.68235号 Patricia D.L.Machado(编辑),第十一届巴西正式方法研讨会论文集(SBMF 2008)2008年8月26日至29日,巴西萨尔瓦多。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记240,201-219(2009)。MSC公司:60年第68季度 68甲15 68N20型 第68季度55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Perna}和\textit{J.Woodcock},电子。注释Theor。计算。科学。240、201-219(2009年;Zbl 1347.68235) 全文: 内政部
利奥·弗雷塔斯;吉姆·伍德科克 FDR资源管理器。 (英语) Zbl 1162.68476号 正式Asp。计算。 21,编号1-2,133-154(2009).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Freitas}和\textit{J.Woodcock},正式Asp。计算。21,编号1--2,133-154(2009;Zbl 1162.68476) 全文: 内政部 哈尔
利奥·弗雷塔斯;吉姆·伍德科克;付,郑 Z/Eves中的POSIX文件存储:在经过验证的软件存储库中进行的实验。 (英语) Zbl 1162.68388号 科学。计算。程序。 74,第4期,238-257(2009).MSC公司:68M99型 68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Freitas}等人,科学。计算。程序。74,第4号,238--257(2009;Zbl 1162.68388) 全文: 内政部
安德鲁·巴特菲尔德;利奥·弗雷塔斯;吉姆·伍德科克 机械化闪存的正式模型。 (英语) Zbl 1162.68387号 科学。计算。程序。 74,第4期,219-237(2009).MSC公司:68M99型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Butterfield}等人,科学。计算。程序。74,第4号,219--237(2009;Zbl 1162.68387) 全文: 内政部
利奥·弗雷塔斯;吉姆·伍德科克;张艺奇 使用Z/Eves验证CICS文件控制API:在已验证的软件存储库中进行的实验。 (英语) Zbl 1178.68527号 科学。计算。程序。 74,第4期,197-218(2009).MSC公司:68吨15 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Freitas}等人,科学。计算。程序。74,第4号,197--218(2009;Zbl 1178.68527) 全文: 内政部
威尔·哈伍德;安娜·卡瓦尔坎蒂;吉姆·伍德科克 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格式引用 \textit{W.Harwood}等人,Lect。注释计算。科学。5160、141--155(2008年;Zbl 1161.68388) 全文: 内政部
利奥·弗雷塔斯;吉姆·伍德科克 证明关于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格式引用 \textit{L.Freitas}和\textit{J.Woodcock},莱克特。注释计算。科学。4700、255--279(2007年;Zbl 1151.68348) 全文: 内政部
克利夫·琼斯。(编辑);刘志明(编辑);吉姆·伍德科克(编辑) 形式化方法和混合实时系统。纪念迪内斯·比约纳和周朝晨70岁生日的文章。 (英语) 兹比尔1130.68009 计算机科学课堂讲稿4700.柏林:施普林格出版社(ISBN 978-3-540-75220-2/pbk)。十六、539页。(2007).MSC公司:68-06 68新元 60年第68季度 00立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}(编辑)等,形式化方法和混合实时系统。纪念迪内斯·比约纳和周朝晨70岁生日的文章。柏林:施普林格出版社(2007;Zbl 1130.68009) 全文: 内政部
吉姆·伍德科克;利奥·弗雷塔斯 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格式引用 \textit{J.Woodcock}和\textit{L.Freitas},莱克特。注释计算。科学。4281,15--34(2006;Zbl 1168.68544) 全文: 内政部
安娜·卡瓦尔坎蒂;威尔·哈伍德;吉姆·伍德科克 统一编程理论中的指针和记录。 (英语) Zbl 1186.68107号 Steve Dunne等人,《统一编程理论》。2006年2月5日至7日,在英国达勒姆郡沃尔沃斯城堡举行的UTP 2006第一届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-34750-7/pbk)。计算机科学讲座笔记4010200-216(2006)。MSC公司:68号30 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,Lect。注释计算。科学。4010200--216(2006;Zbl 1186.68107) 全文: 内政部
比卡雷奎,J.C。;C.A.R.霍尔。;伍德科克,J.C.P。 验证的软件库:向验证编译器迈进的一步。 (英语) Zbl 1103.68452号 正式Asp。计算。 第2143-151号第18页(2006年).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Bicarregui}等人,正式Asp。计算。18,第2号,143--151(2006;Zbl 1103.68452) 全文: 内政部 链接
安娜·卡瓦尔坎蒂;吉姆·伍德科克 天使般的不确定性和统一的编程理论。 (英语) 兹比尔1276.68054 Derrick,John(编辑)等人,《REFINE 2005研讨会论文集》,英国吉尔福德,2005年4月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》137,第2期,45-66(2005)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}和\textit{J.Woodcock},电子。注释Theor。计算。科学。137,第2号,45--66(2005;Zbl 1276.68054) 全文: 链接
阿提亚,D。;King,S。;伍德科克,J.C.P。 关于系统属性的更简单推理:一种证明精化技术。 (英语) Zbl 1276.68052号 Derrick,John(编辑)等人,《REFINE 2005研讨会论文集》,英国吉尔福德,2005年4月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》137,第2期,5-22(2005)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Atiya}等人,《电子》。注释Theor。计算。科学。137,编号2,5--22(2005;Zbl 1276.68052) 全文: 链接
吉姆·伍德科克;安娜·卡瓦尔坎蒂;莱昂纳多·弗雷塔斯 模型检查Circus的操作语义。 (英语) Zbl 1120.68423号 Fitzgerald,John(编辑)等人,FM 2005:形式方法。欧洲正式方法国际研讨会,英国纽卡斯尔,2005年7月18日至22日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27882-6/pbk)。计算机科学课堂讲稿3582237-252(2005)。MSC公司:60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.Woodcock}等人,Lect。注释计算。科学。3582237--252(2005年;Zbl 1120.68423) 全文: 内政部
唐新北;吉姆·伍德科克 旅行过程。 (英语) Zbl 1106.68347号 德克斯特(编辑),《程序构建的数学》。2004年7月12日至14日在英国苏格兰斯特林举行的2004年MPC第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22380-0/pbk)。计算机科学课堂讲稿3125381-399(2004)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{X.Tang}和\textit{J.Woodcock},莱克特。注释计算。科学。3125381--399(2004年;Zbl 1106.68347) 全文: 内政部
安德鲁·巴特菲尔德;吉姆·伍德科克 Handel-C的语义域。 (英语) Zbl 1270.68151号 Flynn,Sharon等人,MFCSIT 2002。2002年7月18日至19日,爱尔兰戈尔韦,爱尔兰国立大学,第二届爱尔兰计算机科学和信息技术数学基础会议论文集。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》74,1-20(2003)。MSC公司:第68季度55 68N17号 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Butterfield}和\textit{J.Woodcock},电子。注释Theor。计算。科学。74、1-20(2003年;Zbl 1270.68151) 全文: 链接
马塞尔·奥利维拉;安娜·卡瓦尔坎蒂;吉姆·伍德科克 ArcAngel:一种精炼的战术语言。 (英语) Zbl 1093.68565号 正式Asp。计算。 15,第1期,28-47(2003).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Oliveira}等人,正式Asp。计算。15,第1号,第28-47页(2003年;Zbl 1093.68565) 全文: 内政部
安娜·卡瓦尔坎蒂;奥古斯托·桑帕约;吉姆·伍德科克 马戏团动作的精细化。 (英语) Zbl 1270.68079号 Derrick,John(编辑)等人,REFINE 2002。BCS FACS精炼研讨会会议记录(FLoC 2002卫星活动),丹麦哥本哈根,2002年7月20日至21日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记70,第3期,132-162(2002)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,《电子》。注释Theor。计算。科学。70,第3号,132--162(2002;Zbl 1270.68079) 全文: 链接
约翰·德里克(编辑);埃尔克·博伊滕(编辑);吉姆·伍德科克(编辑);约阿金·冯·赖特(编辑) 完善2002年。BCS FACS精炼研讨会会议记录(FLoC 2002卫星活动),丹麦哥本哈根,2002年7月20日至21日。 (英语) Zbl 1270.68022号 理论计算机科学电子笔记70,第3条。阿姆斯特丹:爱思唯尔。1-330,仅电子版(2002年)。MSC公司:68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}(编辑)等人,REFINE 2002。2002年7月20日至21日,丹麦哥本哈根,BCS FACS精炼研讨会(2002年FLoC卫星活动)会议记录。阿姆斯特丹:Elsevier(2002;Zbl 1270.68022) 全文: 链接
奥古斯托·桑帕约;吉姆·伍德科克;安娜·卡瓦尔坎蒂 马戏团中的精致。 (英语) Zbl 1064.68539号 Eriksson、Lars-Henrik(编辑)等人,《FME 2002:正式方法——正确使用IT》。欧洲正式方法国际研讨会,丹麦哥本哈根,2002年7月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43928-5)。莱克特。注释计算。科学。2391, 451-470 (2002).MSC公司:68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Sampaio}等人,Lect。注释计算。科学。2391451--470(2002年;Zbl 1064.68539) 全文: 链接
吉姆·伍德科克;安娜·卡瓦尔坎蒂 马戏团的语义。 (英语) 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格式引用 \textit{J.Woodcock}和\textit{A.Cavalcanti},莱克特。注释计算。科学。2272184--203(2002年;Zbl 1044.68560) 全文: 链接
吉姆·伍德科克;亚瑟·休斯 统一并行编程理论。 (英语) Zbl 1015.68819号 George,Chris(ed.)等人,《形式方法与软件工程》,第四届形式工程方法国际会议,2002年ICFEM,中国上海,2002年10月21日至25日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2495, 24-37 (2002).MSC公司:68单位99 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Woodcock}和\textit{A.Hughes},莱克特。注释计算。科学。2495、24-37(2002年;Zbl 1015.68819) 全文: 链接
克里斯蒂·博尔顿;吉姆·戴维斯;吉姆·伍德科克 关于数据类型和过程的精化和模拟。 (英语) Zbl 0963.68126号 Araki,Keijiro(编辑)等人,IFM 99。《第一届综合形式方法国际会议论文集》,英国约克,1999年6月28日至29日。伦敦:施普林格。273-292 (1999).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bolton}等人,in:IFM 99。《第一届综合形式方法国际会议论文集》,英国约克,1999年6月28日至29日。伦敦:施普林格。273--292(1999年;Zbl 0963.68126)
安娜·卡瓦尔坎蒂;吉姆·伍德科克 ZRC–(Z\)的精化演算。 (英语) Zbl 0934.68062号 正式Asp。计算。 10,第3期,267-289(1998年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}和\textit{J.Woodcock},正式Asp。计算。10,第3号,267--289(1998;Zbl 0934.68062) 全文: 内政部
安德鲁·辛普森;吉姆·戴维斯;吉姆·伍德科克 通过\(Z\)和CSP进行安全管理。 (英语) Zbl 0924.68139号 吉姆·格兰迪(编辑)等人,《国际精炼研讨会和正式方法太平洋1998》。98年IRW/FMP会议记录。澳大利亚堪培拉,1998年9月29日至10月2日。柏林:斯普林格。离散数学和理论计算机科学的Springer系列。334-351(1998年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Simpson}等人,in:国际精炼研讨会和正式方法太平洋1998。98年IRW/FMP会议记录。澳大利亚堪培拉,1998年9月29日至10月2日。柏林:斯普林格。334--351(1998年;Zbl 0924.68139)
安娜·卡瓦尔坎蒂;吉姆·伍德科克 Z的最弱前提语义。 (英语) Zbl 0906.68093号 计算。J。 41,第1期,第1-15页(1998年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}和\textit{J.Woodcock},计算。J.41,第1号,第1-15号(1998;Zbl 0906.68093) 全文: 内政部 链接
吉姆·伍德科克;吉姆·戴维斯 使用Z。规范、细化和证明。 (英语) Zbl 0855.68060号 伦敦:普伦蒂斯·霍尔。xvi,386页(1996年)。 审核人:B.Möller(奥格斯堡) MSC公司:60年第68季度 68-01年 PDF格式BibTeX公司 XML格式引用 \textit{J.Woodcock}和\textit{J.Davies},使用Z。规范、精炼和证明。伦敦:普伦蒂斯·霍尔(Prentice Hall)(1996;Zbl 0855.68060)
A.W.罗斯科。;伍德科克,J.C.P。;伍尔夫。 通过决定论不干涉。 (英语) Zbl 1477.68063号 Dieter Gollmann(编辑),《计算机安全——ESORICS 94》。第三届欧洲计算机安全研究研讨会,英国布莱顿,1994年11月7日至9日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。875, 31-53 (1994).MSC公司:68平方米25 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{A.W.Roscoe}等人,Lect。注释计算。科学。875、31-53(1994年;Zbl 1477.68063) 全文: 内政部 链接
伍德科克,J.C.P。 使用标准Z。规范、证明和精炼。 (英语) Zbl 0825.68455号 伦敦:普伦蒂斯·霍尔。x(1994)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式