×

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

最新的 引文 相关性
Tsachouridis，Vassilios A。;乔治·詹塔米迪斯;Stylianos巴萨吉安尼斯;科斯塔斯库拉马斯

Schulz矩阵反演算法的形式化分析：通用矩阵流求解器的计算机辅助验证范例。 （英语） Zbl 1458.65035号

数字。代数控制优化。 177-206年第2期第10期（2020年）.
MSC公司：65层10 15A09号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Tsachouridis}等人，数字。代数控制优化。10，编号2177-206（2020；兹bl 1458.65035）
全文： DOI程序
尼玛·鲁希;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦

混合自动机的相关句法和语义扰动。 （英语） Zbl 1520.68066号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第26条，第16页（2018年）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Roohi}等人，LIPIcs——莱布尼茨国际程序。通知。118，第26条，第16页（2018；Zbl 1520.68066）
全文： DOI程序
劳伦特·多恩;戈兰·弗雷斯;乔治·帕帕斯。;安德烈·普拉泽

混合系统的验证。 （英语） Zbl 1392.68246号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1047-1110 (2018).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Doyen}等人，in：模型检查手册。查姆：斯普林格。1047--1110（2018；Zbl 1392.68246）
全文： DOI程序
大卫·布雷索林;卢卡·杰雷蒂;里卡多·穆拉多尔;保罗·菲奥里尼;蒂齐亚诺别墅

应用于机器人手术的形式验证。 （英语） Zbl 1403.93140号

van Schuppen，Jan H.（编辑）等人，《分布式系统的协调控制》。查姆：施普林格（ISBN 978-3-319-10406-5/pbk；978-3-316-10407-2/电子书）。《控制与信息科学讲义》456347-355（2015）。
MSC公司：93C85号 93个B03 90B25型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛D.Bresolin｝等人，Lect。票据控制信息科学。456347-355（2015年；Zbl 1403.93140）
全文： DOI程序
托马斯·泽特库利奇;斯特凡·拉特肖恩

混合系统简洁抽象的增量计算。 （英语） Zbl 1348.68133号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。《计算机科学讲义》6919271-285（2011）。
MSC公司：60年第68季度 65年第68季度 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{T.Dzetkulič}和\textit{S.Ratschan}，莱克特。注释计算。科学。6919、271--285（2011年；Zbl 1348.68133）
全文： DOI程序
贾·戴维德·奎塞尔;马丁·范策尔;达姆，沃纳

跨越类似游戏之间的桥梁。 （英语） Zbl 1348.68147号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，160-176（2011）。
MSC公司：60年第68季度 65年第68季度 91A80型 93立方
PDF格式BibTeX公司 XML格式引用
\textit{J.-D.Quesel}等人，Lect。注释计算。科学。6919、160--176（2011年；Zbl 1348.68147）
全文： DOI程序
科尔斯汀·鲍尔;庆蒂里尼、拉斐拉;克劳斯·施耐德

基于混合自动机的属性驱动三值模型检验。 （英语） Zbl 1246.68151号

Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21日至24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学讲义5514。人工智能课堂讲稿，218-229（2009）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Bauer}等人，Lect。注释计算。科学。5514、218--229（2009年；Zbl 1246.68151）
全文： DOI程序
鲍尔，K。;Gentilini，R。;施耐德，K。

混合自动机上的近似可达性：伪造符合认证要求。 （英语） Zbl 1337.68151号

Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记22347-60（2008）。
MSC公司：65年第68季度 60年第68季度 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{K.Bauer}等人，《电子》。理论注释。计算。科学。223、47-60（2008年；Zbl 1337.68151）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件