×

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

最新的 引文 关联
奥德·帕顿；Jochen Hoenicke公司；肯尼思·麦克米兰。；安德烈亚斯·波德尔斯基；穆利·萨吉夫；沙龙·肖姆

证明无限状态系统时间特性的时间预言。 （英语） Zbl 1522.68340号

形式方法系统。设计。 57，编号2，246-269（2021）.
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{O.Padon}等人，《形式方法系统》。设计。57，编号2，246--269（2021；Zbl 1522.68340）
全文： 内政部 arXiv公司
达纳·菲斯曼；奥尔纳·库普弗曼；尤德·卢斯蒂格

验证分布式协议的容错性。 （英语） Zbl 1134.68317号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963，315-331（2008）。
MSC公司：64岁以下 68个M12 68米15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Fisman}等人，Lect。注释计算。科学。4963、315--331（2008年；Zbl 1134.68317）
全文： 内政部
Leucker，马丁

学习与验证相结合。 （英语） Zbl 1147.68541号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-540-74791-8/pbk）。计算机科学课堂讲稿4709127-151（2007）。
MSC公司：68问题32 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Leucker}，莱克特。注释计算。科学。4709127--151（2007年；Zbl 1147.68541）
全文： 内政部
马蒂恩·亨德里克斯；Larsen，Kim G。

实时模型检查的精确加速。 （英语） Zbl 1270.68170号

Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，第120-139页（2002年）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hendriks}和\textit{K.G.Larsen}，电子。注释Theor。计算。科学。65，第6号，120--139（2002；Zbl 1270.68170）
全文： 内政部
泰瑟·图利

使用加宽技术定期进行模型检查。 （英语） Zbl 1262.68130号

理查德·迈尔（编辑），《VEPAS 2001》。参数化系统的验证（2001年ICALP卫星研讨会），希腊克里特岛，2001年7月13日。波塞丁斯。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第4期，342-356（2001）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Touili}，电子。注释Theor。计算。科学。50，第4号，342--356（2001；Zbl 1262.68130）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件