×

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

最新的 引文 关联
尤拉杰·科尔查克;杰雷米·杜布特;一郎·哈索;胜本、新雅;戴维·斯普伦格;Akihisa山田

关系微分动态逻辑。 （英语） 兹比尔1507.68189

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 191-208 (2020).
MSC公司：60年第68季度 03B70号 68伏15 93立方
PDF格式BibTeX公司 XML格式引用
\textit{J.Kolák}等人，Lect。注释计算。科学。12078、191--208（2020年；Zbl 1507.68189）
全文： DOI程序 arXiv公司
Vu，Dieu-Houng先生;千叶，Yuki;肯罗·亚塔克;青木，Toshiaki

检查Promela设计是否符合Event-B中的正式规范。 （英语） Zbl 1328.68131号

Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。第三次国际研讨会，FTSCS 2014，卢森堡，2014年11月6-7日。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-17580-5/pbk；978-3-316-17581-2/电子书）。《计算机与信息科学通信》476，110-126（2015）。
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.-H.Vu}等人，Commun。计算。信息科学。476110--126（2015年；Zbl 1328.68131）
全文： DOI程序
刘杰;刘静

混合事件B的正式框架。 （英语） 兹比尔1351.68166

薛进云（编辑）等，第六届软件工具支持理论利用国际研讨会论文集（TTSS 2013），中国南昌，2013年10月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记309，3-12，仅电子版（2014）。
MSC公司：60年第68季度 03B70号 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Liu}和textit{J.Liu}，电子。理论注释。计算。科学。309、3--12（2014年；Zbl 1351.68166）
全文： DOI程序
阿卜杜拉赫曼·马图西;弗雷德里克·热尔维斯;雷吉尼·拉劳

由基于目标的方法驱动的本地化组件的规范：我们学到的一些经验教训。 （英语） Zbl 1325.68154号

Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会，SBMF 2010。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学课堂讲稿6527177-193（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Matoussi}等人，Lect。注释计算。科学。6527，177--193（2011；Zbl 1325.68154）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件