×

找到10个文档(结果1-10)

模型检查实时系统。 (英语) Zbl 1392.68235号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。1001-1046 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

实时系统的基于模型的验证、优化、综合和性能评估。 (英语) Zbl 1445.68132号

刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

层次集决策图和正则模型。 (英语) Zbl 1234.68267号

Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学5505讲义,1-15(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过模型检查推导测试序列。 (英语) Zbl 1279.68198号

Moreira,Anamaria Martins(编辑)等人,《巴西正式方法研讨会论文集》(SBMF 2006),Natal,Rio Grande de Norte,巴西,2006年9月17日至23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记195,21-40(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机符号验证的改进。 (英语) Zbl 1215.68136号

Derrick,John(编辑)等人,《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73195-5/pbk)。计算机科学课堂讲稿4574196-210(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

差异决策图。 (英语) Zbl 0944.68040号

Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 111-125 (1999).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段