×

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

最新的 引文 关联
哈马德·艾哈迈德;让-巴蒂斯特·詹宁

验证混合系统信号时序逻辑规范的程序逻辑。 （英语） Zbl 07807683号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.Ahmad}和\textit{J.-B.Jeannin}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2021；Zbl 07807683）
全文： 内政部 arXiv公司
爱德华·坎伯扬

从后条件到后区域不变量：混合对象的演绎验证。 （英语） Zbl 07807682号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第9号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{E.Kamburjan}，in：第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第9号论文，第11页（2021；Zbl 07807682）
全文： 内政部
罗斯·波勒;安德烈·普拉泽

建设性混合游戏。 （英语） Zbl 07614528号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 454-473 (2020).
MSC公司：第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{R.Bohrer}和\textit{A.Platzer}，莱克特。注释计算。科学。12166、454--473（2020；Zbl 07614528）
全文： 内政部 arXiv公司
OA许可证
Tan，Yong Kiam先生;安德烈·普拉泽

微分方程活性的公理方法。 （英语） Zbl 07817386号

ter Beek，Maurice H.（编辑）等人，《形式方法——未来30年》。第三届世界大会/第二十三届研讨会，2019年10月7日至11日，葡萄牙波尔图，FM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11800, 371-388 (2019).
MSC公司：60年第68季度 03B70号 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{Y.K.Tan}和\textit{A.Platzer}，莱克特。注释计算。科学。11800，371--388（2019；Zbl 07817386）
全文： 内政部 arXiv公司
布兰登·伯勒;曼纽尔·费尔南德斯;安德烈·普拉泽

\（\mathsf{dL}_{\iota}\）：微分动态逻辑中的明确描述。 （英语） Zbl 07178971号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 94-110 (2019).
MSC公司：03B70号 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{B.Bohrer}等人，Lect。注释计算。科学。11716、94-110（2019；Zbl 07178971）
全文： 内政部
劳伦特·多恩;戈兰·弗雷斯;乔治·J·帕帕斯。;安德烈·普拉泽

混合系统的验证。 （英语） 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）
全文： 内政部
陈明帅;安德斯·雷文（Anders P.Ravn）。;王淑玲;杨梦飞;詹乃军

嵌入式系统正式和非正式设计之间的双向路径。 （英语） Zbl 1483.68074号

Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10134, 65-92 (2017).
MSC公司：68号30 60年第68季度 93-10 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Chen}等人，Lect。注释计算。科学。10134，65-92（2017；Zbl 1483.68074）
全文： 内政部 链接
安德鲁·索戈孔;保罗·B·杰克逊。

连续和混合动力系统活性性质的直接形式化验证。 （英语） Zbl 1427.68174号

Björner，Nikolaj（编辑）等人，FM 2015：形式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9109, 514-531 (2015).
MSC公司：60年第68季度 34A34飞机 34A38型
PDF格式BibTeX公司 XML格式引用
\textit{A.Sogokon}和\textit{P.B.Jackson}，莱克特。注释计算。科学。9109514--531（2015；Zbl 1427.68174）
全文： 内政部 链接
安德烈·普拉泽

微分动态逻辑的统一代换演算。 （英语） Zbl 1465.03056号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 467-481 (2015).
MSC公司：03B35型 03B70号 34A38型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}，莱克特。注释计算。科学。9195、467--481（2015；Zbl 1465.03056）
全文： 内政部 arXiv公司 链接
乔安·拉斯加;克里斯蒂娜·瑟纳达斯;阿米尔卡尔·塞尔纳达斯

可决定性路线图。 （英语） Zbl 1376.03039号

Koslow，Arnold（编辑）等人，《通向普遍逻辑的道路》。庆祝Jean-Yves Béziau 50岁生日。第一卷Cham：Birkhäuser/Springer（ISBN 978-3-319-10192-7/pbk；978-3-3169-10193-4/电子书）。《通用逻辑研究》，423-445（2015）。
MSC公司：03C10号机组 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{J.Rasga}等人，in：通向普遍逻辑的道路。庆祝Jean-Yves Béziau 50岁生日。第一卷Cham：Birkhäuser/Springer。423-445（2015；Zbl 1376.03039）
全文： 内政部
刘杰;刘静

混合事件B的正式框架。 （英语） Zbl 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）
全文： 内政部
侯萍;郑浩

用于验证分布式混合系统特性的量化微分时间动态逻辑。 （英语） Zbl 1437.68116号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 234-251 (2013).
MSC公司：60年第68季度 03B44号 64岁以下
PDF格式BibTeX公司 XML格式引用
\textit{P.Hou}和\textit{H.Zheng}，Lect。注释计算。科学。7734，234--251（2013；Zbl 1437.68116）
全文： 内政部 arXiv公司
詹乃军;王淑玲;赵恒军

混合系统的形式化建模、分析和验证。 （英语） Zbl 1444.68105号

刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 207-281 (2013).
MSC公司：60年第68季度 03B70号 第68卷第15页 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}等人，Lect。注释计算。科学。8050207--281（2013；Zbl 1444.68105）
全文： 内政部
赵恒军;詹乃军;迪帕克·卡普尔

通过生成不变量来综合混合系统的开关控制器。 （英语） Zbl 1390.68316号

刘志明（主编）等，《程序设计理论与形式化方法》。在何纪峰70岁生日之际献给他的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，354-373（2013）。
MSC公司：2010年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhao}等人，Lect。注释计算。科学。8051、354--373（2013；Zbl 1390.68316）
全文： 内政部 arXiv公司
安德烈·普拉泽

随机混合程序的随机微分动态逻辑。 （英语） Zbl 1341.68030号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。《人工智能讲义》，446-460（2011）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}，莱克特。注释计算。科学。6803446--460（2011；Zbl 1341.68030）
全文： 内政部
Kohei Suenaga公司;一郎·哈索

用无穷小编程：aWhile期间-混合系统建模语言。 （英语） Zbl 1333.68181号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756，392-403（2011）。
MSC公司：60年第68季度 03B70号 03时10分 68号30
PDF格式BibTeX公司 XML格式引用
\textit{K.Suenaga}和\textit{I.Hasuo}，莱克特。注释计算。科学。6756392--403（2011年；Zbl 1333.68181）
全文： 内政部
安德烈·普拉泽;贾·戴维德·奎塞尔

KeYmaera：混合系统的混合定理证明器。（系统描述）。 （英语） Zbl 1165.68469号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，171-178（2008）。
MSC公司：68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}和\textit{J.-D.Quesel}，莱克特。注释计算。科学。5195、171--178（2008年；Zbl 1165.68469）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件