×

找到20个文档（结果1–20）

最新的 引文 关联
西蒙·福斯特;伯恩哈德·蒂勒;安娜·卡瓦尔坎蒂;吉姆·伍德科克

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

Bowen，Jonathan P.（编辑）等人，《统一编程理论》。第六届国际研讨会，UTP 2016，冰岛雷克雅未克，2016年6月4日至5日。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。10134, 44-64 (2017).
MSC公司：68甲15 68问题55 68版本20 93-10 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Foster}等人，Lect。注释计算。科学。10134，44-64（2017；Zbl 1483.68053）
全文： 内政部 链接
佩德罗·里贝罗;安娜·卡瓦尔坎蒂

反应过程理论中的天使主义。 （英语） Zbl 1457.68067号

戴维·诺曼，《统一编程理论》。第五届国际研讨会，2014年UTP，新加坡，2014年5月13日。修订了选定的论文。柏林：斯普林格。勒克特。注释计算。科学。8963, 42-61 (2015).
MSC公司：68号30 2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Ribeiro}和\textit{A.Cavalcanti}，莱克特。注释计算。科学。8963，42-61（2015；Zbl 1457.68067）
全文： 内政部
泽达，弗兰克;安娜·卡瓦尔坎蒂

方法理论的高阶UTP。 （英语） Zbl 1452.68061号

Wolff，Burkhart（编辑）等人，《统一编程理论》。第四届国际研讨会，2012年UTP，2012年8月27日至28日，法国巴黎。修订了选定的论文。柏林：斯普林格。勒克特。注释计算。科学。7681, 204-223 (2013).
MSC公司：68号30 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{F.Zeyda}和\textit{A.Cavalcanti}，莱克特。注释计算。科学。7681204-223（2013；Zbl 1452.68061）
全文： 内政部
安娜·卡瓦尔坎蒂;亚历山大·莫塔;吉姆·伍德科克

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

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰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）
全文： 内政部
泽达，弗兰克;安娜·卡瓦尔坎蒂

自动完善Circus程序。 （英语） Zbl 1325.68163号

Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会，SBMF 2010。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学课堂讲稿6527274-290（2011）。
MSC公司：68问题85 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{F.Zeyda}和\textit{A.Cavalcanti}，莱克特。注释计算。科学。6527274--290（2011年；Zbl 1325.68163）
全文： 内政部
威尔·哈伍德;安娜·卡瓦尔坎蒂;吉姆·伍德科克

UTP指针理论。 （英语） Zbl 1161.68388号

Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160141-155（2008）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{W.Harwood}等人，Lect。注释计算。科学。5160、141--155（2008年；Zbl 1161.68388）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件