×

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

最新的 引文 相关性
叶康峰;西蒙·福斯特;吉姆·伍德科克

带有定理证明的概率序列程序的自动推理。 （英语） Zbl 07670535号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。第19届国际会议，RAMiCS 2021，法国马赛，2021年11月2-5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13027, 465-482 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{K.Ye}等人，Lect。注释计算。科学。13027465--482（2021；Zbl 07670535）
全文： DOI程序 链接
叶康峰;西蒙·福斯特;吉姆·伍德科克

使用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}等人，《新兴复合体》。计算。35215-254（2020年；兹比尔1486.68045）
全文： DOI程序 链接
杰拉德·埃肯贝恩贡迪;吉姆·伍德科克

带有延续的反应过程的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）
全文： DOI程序
西蒙·福斯特;伯恩哈德·蒂勒;安娜·卡瓦尔坎蒂;吉姆·伍德科克

Modelica的UTP语义。 （英语） Zbl 1483.68053号

Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10134, 44-64 (2017).
MSC公司：68甲15 68问题55 68V20型 93-10 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Foster}等人，Lect。注释计算。科学。10134，44-64（2017；Zbl 1483.68053）
全文： DOI程序 链接
西蒙·福斯特;泽达，弗兰克;吉姆·伍德科克

用透镜统一异构状态空间。 （英语） 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）
全文： DOI程序 链接
安娜·卡瓦尔坎蒂;吉姆·伍德科克;努诺州阿马利奥

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。注释计算。科学。9965255-273（2016年；兹比尔1482.68135）
全文： DOI程序 链接
魏坤;吉姆·伍德科克

面向的代数语义马戏团时间. （英语） 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}，莱克特。注释计算。科学。8963，84-104（2015；Zbl 1457.68071）
全文： DOI程序
西蒙·福斯特;泽达，弗兰克;吉姆·伍德科克

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）
全文： DOI程序 链接
塞缪尔·卡纳姆;吉姆·伍德科克

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年；兹bl 1457.68059）
全文： DOI程序
西蒙·福斯特;吉姆·伍德科克

统一伊莎贝尔的编程理论。 （英语） 兹比尔1444.68049

刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 109-155 (2013).
MSC公司：68号30 68问题55 68伏15 68V20型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Foster｝和\textit｛J.Woodcock｝，Lect。注释计算。科学。8050、109--155（2013年；Zbl 1444.68049）
全文： DOI程序 链接
安德鲁·巴特菲尔德;吉姆·伍德科克

Handel-C的语义域。 （英语） Zbl 1270.68151号

Flynn，Sharon等人，MFCSIT 2002。第二届爱尔兰计算机科学和信息技术数学基础会议论文集，爱尔兰国立大学，爱尔兰戈尔韦，2002年7月18日至19日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》74，1-20（2003）。
MSC公司：68问题55 第68页第17页 68甲19 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Butterfield}和\textit{J.Woodcock}，电子。理论注释。计算。科学。74、1-20（2003年；Zbl 1270.68151）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件