×

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

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

带有定理证明的概率序列程序的自动推理。 （英语） 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）
全文： 内政部 链接
叶康峰；西蒙·福斯特；吉姆·伍德科克

使用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）
全文： 内政部 链接
西蒙·福斯特；伯恩哈德·蒂勒；安娜·卡瓦尔坎蒂；吉姆·伍德科克

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）
全文： 内政部 链接
西蒙·福斯特；泽达，弗兰克；吉姆·伍德科克

用透镜统一异构状态空间。 （英语） 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年；兹比尔1482.68089）
全文： 内政部 链接
西蒙·福斯特；泽达，弗兰克；吉姆·伍德科克

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 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）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件