×

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

最新的 引文 关联
巴博特、贝诺特;尼古拉斯·巴塞特;亚历山大·顿泽

Wordgen：一个定时单词生成工具。 （英语） Zbl 07807957号

第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第16号论文，第7页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛B.Barbot｝等人，在：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）。第16号论文，第7页（2023；Zbl 07807957）
全文： 内政部 哈尔
林德曼，拉尔斯;阿莱娜·罗迪奥诺娃;乔治·帕帕斯

随机信号的时间鲁棒性。 （英语） Zbl 07807718号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.Lindemann}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2022；Zbl 07807718）
全文： 内政部 arXiv公司
Larsen，Kim G。;克里斯蒂安·席林;吉·斯尔巴

形式化方法中的模拟关系和应用。 （英语） Zbl 1528.68188号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 272-291 (2022).
MSC公司：65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}等人，Lect。注释计算。科学。13660272--291（2022年；Zbl 1528.68188）
全文： 内政部
哈迪·扎蒂;Ye，莉娜;菲利普·达格;珍妮·皮尔·加洛瓦;Travé-Massuyès，路易丝

混合系统可诊断性分析的抽象细化。 （英语） Zbl 1461.93236号

Sayed-Mouchaweh，Moamar（编辑），混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。279-318 (2018).
审核人：Seenith Sivasundaram（代托纳海滩）
MSC公司：93立方 93个B07 93立方65
PDF格式BibTeX公司 XML格式引用
\textit{H.Zaati}等人，in：混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。279--318（2018；Zbl 1461.93236）
全文： 内政部
斯坦利·巴克;帕拉萨拉·斯里达尔·达吉拉拉

基于严格仿真的线性混合系统分析。 （英语） Zbl 1452.68098号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 555-572 (2017).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Bak｝和\textit｛P.S.Duggirala｝，Lect。注释计算。科学。10205555--572（2017；Zbl 1452.68098）
全文： 内政部
祖、权;张苗苗;朱佳奇;詹乃军

离散时间演算的有界模型检验。 （英语） Zbl 1362.68191号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。213-222 (2013).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Q.Zu}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，费城，宾夕法尼亚州，美国，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。213--222（2013；Zbl 1362.68191）
全文： 内政部
达里奥·坎帕尼亚;卡拉广场

系统生物学中的混合自动机：我们能走多远？ （英语） 兹比尔1283.92035

尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第1期，93-108（2009）。
MSC公司：92立方厘米 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Campagna}和\textit{C.Piazza}，电子。注释Theor。计算。科学。229，编号1，93--108（2009；Zbl 1283.92035）
全文： 内政部
巴顿，J.C.M。;van Beek博士。;P.J.L.Cuijpers。;雷尼尔斯，M.A。;罗达，J.E。;Schiffelers，R.R.H。;托尼森，R.J.M。

基于模型的嵌入式系统工程使用混合进程代数Chi。 （英语） Zbl 1279.68245号

Palamidessi，Catuscia（ed.）等人，《LIX并发理论新兴趋势研讨会论文集》（LIX 2006），法国巴黎，2006年11月13日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记209，21-53（2008）。
MSC公司：68问题85 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.C.M.Baeten}等人，《电子》。注释Theor。计算。科学。209、21-53（2008年；Zbl 1279.68245）
全文： 内政部
van Beek博士。;罗达，J.E。;Schiffelers，R.R.H。;曼，K.L。;雷尼尔斯，M.A。

将混合气与其他形式主义联系起来。 （英语） 兹比尔1277.68149

Romijn，Judi（编辑）等人，第五届综合正式方法会议（IFM 2005）附属博士研讨会论文集，荷兰埃因霍温，2005年11月29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记191，85-113（2007）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛D.A.van Beek｝等人，电子。注释Theor。计算。科学。191、85-113（2007年；Zbl 1277.68149）
全文： 内政部
林洪平;迈拉·阿彻

支持PVS中策略开发的翻译模板。 （英语） Zbl 1277.68243号

Archer，Myler（编辑）等人，第六届自动扣除策略国际研讨会论文集（strategies 2006），西雅图，华盛顿州，美国，2006年8月16日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第11期，59-79（2007）。
MSC公司：68吨15 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Lim}和\textit{M.Archer}，电子。注释Theor。计算。科学。174，第11号，59--79（2007；Zbl 1277.68243）
全文： 内政部
拉杰夫·阿鲁尔;Thao Dang先生;弗兰乔·伊万契奇

通过谓词抽象进行混合系统的可达性分析。 （英语） Zbl 1044.93517号

Tomlin，Claire J.（编辑）等人，《混合系统：计算和控制》。2002年3月25日至27日在美国加利福尼亚州斯坦福举行的2002年HSCC第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43321-X）。莱克特。注释计算。科学。2289, 35-48 (2002).
MSC公司：93立方 93个B03 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，Lect。注释计算。科学。2289、35-48（2002年；Zbl 1044.93517）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件