×

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

最新的 引文 关联
阿卜杜拉扎克·阿巴;安娜·卡瓦尔坎蒂;杰里米·雅各布

通过将tock-CSP自动转换为时间自动机进行时间推理。 （英文） Zbl 1498.68147号

Campos，Sérgio（编辑）等人，《形式方法：基础和应用》。第24届巴西研讨会，SBMF 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13130, 70-86 (2021).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Abba}等人，Lect。注释计算。科学。13130，70-86（2021；Zbl 1498.68147）
全文： 内政部 arXiv公司
西蒙·福斯特;伯恩哈德·蒂勒;安娜·卡瓦尔坎蒂;吉姆·伍德科克

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）
全文： 内政部 链接
安娜·卡瓦尔坎蒂;吉姆·伍德科克;努诺州阿马利奥

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.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）
全文： 内政部
曼努埃拉·泽维尔;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约

类型检查马戏团规范。 （英文） Zbl 1279.68271号

Moreira，Anamaria Martins（编辑）等人，《巴西正式方法研讨会论文集》（SBMF 2006），Natal，Rio Grande de Norte，巴西，2006年9月17日至23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记195，75-93（2008）。
MSC公司：68问题85 68甲15 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Xavier}等人，《电子》。注释Theor。计算。科学。195、75-93（2008年；Zbl 1279.68271）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件