×

找到133个文档（结果1-100）

最新的 引文 关联

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。 （英语） Zbl 1530.68008号

纽约州纽约市：计算机协会（ACM）（ISBN 979-8-4007-0033-0）。xi，30篇文章，未连续分页（2023）。
MSC公司：68-06 93-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）（2023；Zbl 1530.68008）
全文： 内政部
帕特里克·库索

混合轨迹语义之间的异步对应。 （英语） Zbl 1528.68180号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 131-159 (2022).
MSC公司：65年第68季度 68问题55 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{P.Cousot}，莱克特。注释计算。科学。13660、131--159（2022年；Zbl 1528.68180）
全文： 内政部 arXiv公司
孙权;张伟;王超;刘志明

Simulink的基于契约的语义和细化。 （英语） Zbl 1528.68236号

董伟（编辑）等，可靠软件工程。理论、工具和应用。第八届国际研讨会，SETTA 2022，中国北京，2022年10月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13649, 134-148 (2022).
MSC公司：60年第68季度 68问题55 93-10 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Q.Sun}等人，Lect。注释计算。科学。13649、134--148（2022年；Zbl 1528.68236）
全文： 内政部
詹姆斯·加里奇奥;Tan，Yong Kiam先生;斯特凡·米奇;安德烈·普拉泽

KeYmaera X的隐式定义和微分方程（系统描述）。 （英语） Zbl 07628218号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 723-733 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Gallicchio}等人，Lect。注释计算。科学。13385，723--733（2022；Zbl 07628218）
全文： 内政部 arXiv公司

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。 （英语） Zbl 1492.68007号

纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-9196-2）。xii，30篇文章，未连续页码（2022年）。
MSC公司：68-06 93-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）（2022；Zbl 1492.68007）
全文： 内政部
阿尔卑斯山艾迪诺格鲁;马亚尔·法兹利亚布;曼弗雷德·莫拉里;迈克尔·波萨

具有神经网络控制器的互补系统的稳定性分析。 （英语） Zbl 07807692号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第19号论文，第10页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Aydinoglu}等人，in：第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第19号文件，第10页（2021；Zbl 07807692）
全文： 内政部 arXiv公司
莫汉·丹塔姆;阿默里·波利

连续时间线性时不变系统可达性的判定。 （英语） Zbl 07807688号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第15号论文，第12页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Dantam}和\textit{A.Pouly}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第15号论文，第12页（2021；Zbl 07807688）
全文： 内政部 arXiv公司 哈尔

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。 （英语） Zbl 1466.68005号

纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-8339-4）。27篇文章，未连续翻页（2021年）。
MSC公司：68-06 93-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）（2021；Zbl 1466.68005）
全文： 内政部
亚历山大·克努佩尔;英加·雅茨科夫斯基;马库斯·诺尔特;托马斯·图姆;托拜厄斯·隆格;伊娜·谢弗

基于技能的网络物理系统验证。 （英语） Zbl 1507.68093号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12076, 203-223 (2020).
MSC公司：68号30 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Knüppel}等人，Lect。注释计算。科学。12076203-223（2020年；兹比尔1507.68093）
全文： 内政部
乔纳森·朱利安（Jonathan Julián），韦尔塔·穆尼夫（Huerta y Munive）

Isabelle/HOL中用于混合程序验证的ODE仿射系统。 （英语） Zbl 1476.68301号

de Boer，Frank（编辑）等人，《软件工程和形式化方法》。第18届国际会议，SEFM 2020，荷兰阿姆斯特丹，2020年9月14-18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12310, 77-92 (2020).
MSC公司：68版本20 34A30型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.J.Huerta y Munive}，莱克特。注释计算。科学。12310，77-92（2020；Zbl 1476.68301）
全文： 内政部

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。 （英语） Zbl 1434.93002号

纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-7018-9）。33篇文章，未连续翻页（2020年）。
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）（2020；Zbl 1434.93002）
全文： 内政部
米海·Codescu

HETS中机构的混合（工具文件）。 （英语） Zbl 07649900号

Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139，第17条，第10页（2019）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Codescu}，LIPIcs——莱布尼茨国际程序。通知。139，第17条，第10页（2019年；Zbl 07649900）
全文： 内政部

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。 （英语） Zbl 1411.93004号

纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-6282-5）。xi，第299页。(2019).
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
2019年4月16日至18日，加拿大魁北克省蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（2019；Zbl 1411.93004）
全文： 内政部
贝拉德，贝特里奇;帕特里夏·鲍耶;Jugé，文森特

具有重叠轨迹的动力系统的有限互模拟。 （英语） Zbl 1528.68175号

Ghica，Dan R.（ed.）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4日至8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第26条，第17页（2018年）。
MSC公司：65年第68季度 03B25号 03C64号 60年第68季度 68问题85 93个B03 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Bérard}等人，LIPIcs--Leibniz Int.Proc。通知。119，第26条，第17页（2018；Zbl 1528.68175）
全文： 内政部
安德烈·普拉泽;Tan，Yong Kiam先生

微分方程公理化。不同鬼魂令人印象深刻的力量。 （英语） Zbl 1453.03026号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。819-828 (2018).
MSC公司：03B70号 03B80号 03财年03 34A38型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}和\textit{Y.K.Tan}，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。819--828（2018；Zbl 1453.03026）
全文： 内政部 arXiv公司

第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。 （英语） Zbl 1402.93017号

纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-5642-8）。x、 第286页。(2018).
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）（2018；Zbl 1402.93017）
全文： 内政部
严、高;焦、李;王淑玲;詹乃军

从延迟混合CSP合成SystemC代码。 （英语） Zbl 1503.68186号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695, 21-41 (2017).
MSC公司：60年第68季度 68号30 93立方厘米 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{G.Yan}等人，Lect。注释计算。科学。10695，21-41（2017；Zbl 1503.68186）
全文： 内政部 arXiv公司
何继峰;秦、李

混合关系建模语言。 （英语） Zbl 1485.68162号

Gibson-Robinson，Thomas（编辑）等人，《并发、安全和谜题》。在安德鲁·威廉·罗斯科60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。10160, 124-143 (2017).
MSC公司：68问题85 68号30 68问题55 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛H.Jifeng｝和\textit｛L.Qin｝，Lect。注释计算。科学。10160、124--143（2017；Zbl 1485.68162）
全文： 内政部
莱蒂切夫斯基（A.A.Letichevsky）。;O.O.莱提切夫斯基。;斯科贝列夫，V.G。;V.A.沃尔科夫。

网络物理系统。 （英语。俄文原件） Zbl 1381.93009号

赛博。系统。分析。 53，第6号，821-834（2017）；翻译自Kibern。修女。分析。2017年第6期，第3-19页（2017年）。
MSC公司：93年10月 70年第68季度 99年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Letichevsky}等人，Cybern。系统。分析。53，第6号，821--834（2017；Zbl 1381.93009）；翻译自Kibern。修女。分析。2017年，第6期，第3-19期（2017年）
全文： 内政部
胡萨姆·阿巴斯;马修·奥凯利;拉胡尔·曼哈拉姆

度量时态逻辑的松弛可判定性和健壮语义。 （英语） Zbl 1366.68160号

2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。217-225 (2017).
MSC公司：60年第68季度 03B25号 03B44号 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.Abbas}等人，《第20届ACM混合系统国际会议论文集：计算与控制》，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。217--225（2017年；Zbl 1366.68160）
全文： 内政部 链接
彼得·尼尔森;内克米耶·奥扎伊

关于一类大集合切换系统的最大不变性诱导控制策略。 （英语） Zbl 1369.93196号

2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。187-196 (2017).
MSC公司：93亿B50 93立方 60年第68季度 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{P.Nilsson}和\textit{N.Ozay}，摘自：第20届ACM混合系统国际会议论文集：计算与控制，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。187-196（2017年；Zbl 1369.93196）
全文： 内政部

2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。 （英语） Zbl 1360.93003号

纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。xii，275页。(2017).
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第20届ACM混合系统国际会议论文集：计算与控制，2017年HSCC，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）（2017；Zbl 1360.93003）
全文： 内政部
陈明帅;安德斯·雷文（Anders P.Ravn）。;王淑玲;杨梦飞;詹乃军

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

Bowen，Jonathan P.（编辑）等人，《统一编程理论》。第六届国际研讨会，UTP 2016，冰岛雷克雅未克，2016年6月4日至5日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。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）
全文： 内政部 链接
杨正峰;黄超;陈欣;林，王;刘志明

一种基于线性规划松弛的混合系统屏障证书生成方法。 （英语） Zbl 1427.68176号

Fitzgerald，John（编辑）等，FM 2016：形式方法。第21届国际研讨会，塞浦路斯利马索尔，2016年11月9日至11日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9995, 721-738 (2016).
MSC公司：60年第68季度 37B10号机组 90 C90
PDF格式BibTeX公司 XML格式引用
\textit{Z.Yang}等人，Lect。注释计算。科学。9995721--738（2016年；Zbl 1427.68176）
全文： 内政部
斯特凡诺·米诺波利;戈兰·弗雷斯

从仿真模型到使用紧急和松弛的混合自动机。 （英语） Zbl 1366.68148号

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。287-296 (2016).
MSC公司：65年第68季度 60年第68季度 68岁20岁 93A30型
PDF格式BibTeX公司 XML格式引用
\textit{S.Minopoli}和\textit{G.Frehse}，in：第19届ACM混合系统国际会议论文集：计算和控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。287--296（2016年；Zbl 1366.68148）
全文： 内政部
拉斐尔·维斯涅夫斯基;懒惰，克里斯托弗;马努埃拉·布约里亚努;皮特曼，尼尔

分段确定马尔可夫过程的安全性验证。 （英语） Zbl 1364.93754号

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。257-266 (2016).
MSC公司：93E03型 60J75型 60年第68季度 93C20美元
PDF格式BibTeX公司 XML格式引用
\textit{R.Wisniewski}et al.，in：第19届ACM混合系统国际会议论文集：计算与控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。257--266（2016年；Zbl 1364.93754）
全文： 内政部
斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格（Thomas A.Henzinger）。;泰勒·T·约翰逊。;普拉卡什，普拉多特

非线性系统分析的可伸缩静态杂交方法。 （英语） 兹比尔1364.68243

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。155-164（2016年）。
MSC公司：65年第68季度 34A38型 60年第68季度 68岁20岁
PDF格式BibTeX公司 XML格式引用
\textit{S.Bak}等人，in：第19届ACM混合系统国际会议论文集：计算与控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。155-164（2016年；Zbl 1364.68243）
全文： 内政部

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。 （英语） Zbl 1344.93003号

纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-3955-1）。十六、308页。(2016).
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（2016；Zbl 1344.93003）
全文： 内政部
Sogokon，安德鲁;保罗·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}，莱克特。注释计算。科学。9109，514——531（2015年；兹bl 1427.68174）
全文： 内政部 链接
埃蒂安·安德烈（编辑）;戈兰·弗雷斯（编辑）

第二届复杂参数合成国际研讨会，SynCoP’15，2015年4月11日，英国伦敦。 （英语） Zbl 1392.68009号

OASIcs–信息学中的OpenAccess系列44.瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-82-8）。xii，107页。，仅电子版，开放存取（2015年）。
MSC公司：68-06 93-06 60年第68季度 93亿B50 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}（ed.）和\textit{G.Frehse}（edi.），第二届复杂参数合成国际研讨会，SynCoP’15，2015年4月11日，英国伦敦。Wadern:Schloss Dagstuhl--Leibniz Zentrum für Informatik（2015；Zbl 1392.68009）
全文： 内政部 链接
邹亮;马丁·范策尔;詹乃军;彼得·纳齐尔·莫萨德

时滞微分方程稳定性和安全性的自动验证。 （英语） Zbl 1381.68188号

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第二部分。查姆：施普林格（ISBN 978-3-319-21667-6/pbk；978-3-3169-21668-3/ebook）。计算机科学课堂讲稿9207338-355（2015）。
MSC公司：60年第68季度 34K20码 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.Zou}等人，Lect。注释计算。科学。9207338--355（2015；Zbl 1381.68188）
全文： 内政部
于宁;马丁·威尔辛

基于SOC的混合系统正式规范和验证。 （英语） Zbl 1469.68063号

Codescu，Mihai（编辑）等人，代数开发技术的最新趋势。2014年9月4日至7日，第22届国际研讨会，WADT 2014，罗马尼亚西奈亚。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9463, 151-169 (2015).
MSC公司：60年第68季度 03B44号 34A38型 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛N.Yu｝和\textit｛M.Wirsing｝，Lect。注释计算。科学。9463，151--169（2015；Zbl 1469.68063）
全文： 内政部
乔蒂莫·德斯穆赫;金小青;詹姆斯·卡宾斯基;奥德·马勒

混合系统伪造的随机局部搜索。 （英语） Zbl 1471.68138号

Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 500-517 (2015).
MSC公司：60年第68季度 68T20型 90 C59 93立方 93C83号 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Deshmukh}等人，Lect。注释计算。科学。9364，500--517（2015；Zbl 1471.68138）
全文： 内政部
甘婷;陈明帅;戴丽云;夏碧灿;詹乃军

线性向量场族可达性的判定。 （英语） Zbl 1476.68147号

Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 482-499 (2015).
MSC公司：60年第68季度 03B25号 68瓦30 93个B03 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Gan}等人，Lect。注释计算。科学。9364、482--499（2015年；Zbl 1476.68147）
全文： 内政部
内森·富尔顿;斯特凡·米奇;贾·戴维德·奎塞尔;马库斯·韦尔普;安德烈·普拉泽

KeYmaera X：混合系统的公理化战术定理证明器。 （英语） Zbl 1465.68281号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 527-538 (2015).
MSC公司：68伏15 03B70号 34A38型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Fulton}等人，Lect。注释计算。科学。9195527--538（2015；Zbl 1465.68281）
全文： 内政部 链接
安德烈·普拉泽

微分动态逻辑的统一代换演算。 （英语） 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公司 链接

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。 （英语） Zbl 1319.93003号

纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。x、 第308页。，仅电子版（2015）。
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）（2015；Zbl 1319.93003）
全文： 内政部
金小青;Jyotirmoy V.德斯穆赫。;詹姆斯·卡宾斯基;上田光一;肯·布茨

动力传动系统控制验证基准。 （英语） Zbl 1362.93070号

第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-2732-9）。253-262 (2014).
MSC公司：93立方 93A30型 93立方厘米 03B80号
PDF格式BibTeX公司 XML格式引用
\textit{X.Jin}等人，in：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。253--262（2014年；Zbl 1362.93070）
全文： 内政部
刘杰;刘静

混合事件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）
全文： 内政部
Jan Kuřátko;斯特凡·拉特肖恩

混合系统伪造的全局和局部联合搜索。 （英语） Zbl 1448.68303号

Legay，Axel（编辑）等人，《定时系统的形式化建模和分析》。第十二届国际会议，FORMATS 2014，意大利佛罗伦萨，2014年9月8-10日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8711, 146-160 (2014).
MSC公司：60年第68季度 68T20型 90C26型 93立方
PDF格式BibTeX公司 XML格式引用
\textit{J.Kuřátko}和\textit{S.Ratschan}，莱克特。注释计算。科学。8711，146-160（2014；Zbl 1448.68303）
全文： 内政部 arXiv公司

第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。 （英语） Zbl 1300.93006号

纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-2732-9）。xii，316页。，仅电子版（2014年）。
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机机械协会（ACM）（2014年；兹bl 1300.93006）
全文： 内政部
马西莫·贝内雷切蒂;马可·费拉

跟踪多面体边界上的可微分轨迹。 （英语） Zbl 1361.68115号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。193-202年（2013年）。
MSC公司：65年第68季度 34A38型 34A60型 60年第68季度 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{M.Benerecetti}和\textit{M.Faella}，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。193-202（2013；Zbl 1361.68115）
全文： 内政部
艾克·莫尔曼;奥利弗·泰尔

Stabhyli–非线性混合系统自动稳定性验证工具。 （英语） Zbl 1362.93111号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。107-112 (2013).
MSC公司：93D05型 93B40码 93立方
PDF格式BibTeX公司 XML格式引用
\textit{E.Möhlmann}和\textit{O.Theel}，in：第16届ACM混合系统国际会议论文集：计算和控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8日至11日。纽约州纽约市：计算机协会（ACM）。107-112（2013年；兹比尔1362.93111）
全文： 内政部

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。 （英语） Zbl 1300.93005号

纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。xii，第365页。，仅电子版（2013年）。
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
2013年4月8日至11日在美国宾夕法尼亚州费城举行的第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013。纽约州纽约市：计算机协会（ACM）（2013；Zbl 1300.93005）
全文： 内政部
哈里·丹科维茨;弗兰克·席尔德

延续食谱。 （英语） Zbl 1277.65037号

计算科学与工程11.宾夕法尼亚州费城：工业和应用数学学会（SIAM）（ISBN 978-1-611972-56-6/pbk；978-1-611197-257-3/ebook）。xv，第584页。(2013).
审核人：Boris V.Loginov（乌里扬诺夫斯克）
MSC公司：65H20个 65-02 65年20月 68号30 34B15号机组 65升10 65页30 37国集团15
PDF格式BibTeX公司 XML格式引用
\textit{H.Dankowicz}和\textit{F.Schilder}，继续的食谱。宾夕法尼亚州费城：工业和应用数学学会（SIAM）（2013；Zbl 1277.65037）
全文： 内政部
安德烈·普拉泽

混合系统的完全证明理论。 （英语） Zbl 1364.03045号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。541-550 (2012).
MSC公司：03B80号 03财年03 34A38型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}，in：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。541-550（2012年；Zbl 1364.03045）
全文： 内政部
安德烈·普拉泽

动力系统的逻辑。 （英语） 兹比尔1362.68178

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。13-24 (2012).
MSC公司：60年第68季度 03B45号 03B70号 37B10号机组 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}，in：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。13-24（2012；Zbl 1362.68178）
全文： 内政部
黄振奇;萨扬·密特拉

从采样的仿真轨迹计算有界到达集。 （英语） Zbl 1362.93007号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。291-294 (2012).
MSC公司：93A30型 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Z.Huang}和\textit{S.Mitra}，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。291--294（2012；Zbl 1362.93007）
全文： 内政部
彼得·施拉梅尔;贝特朗·珍妮特

从混合数据流语言到混合自动机：一个完整的翻译。 （英语） Zbl 1362.68184号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。167-176 (2012).
MSC公司：60年第68季度 68甲15 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Schrammel}和\textit{B.Jeannet}，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。167--176（2012；Zbl 1362.68184）
全文： 内政部
桑卡拉纳拉亚南，斯里拉姆;乔治·费内科斯

使用交叉熵方法伪造混合系统的时间特性。 （英语） Zbl 1362.68183号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。125-134 (2012).
MSC公司：60年第68季度 65二氧化碳 68瓦20 93A30型 94甲17
PDF格式BibTeX公司 XML格式引用
\textit{S.Sankaranarayanan}和\textit{G.Fainekos}，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。125-134（2012；Zbl 1362.68183）
全文： 内政部
帕拉萨拉·斯里达尔·达吉拉拉;萨扬·密特拉

李亚普诺夫对混合系统必然性的抽象。 （英语） Zbl 1361.68145号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。115-123 (2012).
MSC公司：60年第68季度 34A38型 65年第68季度 93立方 93天30分
PDF格式BibTeX公司 XML格式引用
\textit｛P.S.Duggirala｝和\textit｛S.Mitra｝，载于：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。115-123（2012；Zbl 1361.68145）
全文： 内政部
马蒂亚斯·阿尔霍夫;布鲁斯·H·克罗。

混合系统可达性分析中避免几何交集运算。 （英语） Zbl 1362.93012号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。45-54 (2012).
MSC公司：93个B03 34A38型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Althoff｝和\textit｛B.H.Krogh｝，载于：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。45-54（2012；Zbl 1362.93012）
全文： 内政部 链接
拉希德·热比哈;纳迪尔·马特林格;阿纳多·维埃拉·穆拉

非线性微分和混合系统的先验归纳不变量生成。 （英语） Zbl 1362.68153号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。25-34 (2012).
MSC公司：65年第68季度 34A38型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rebiha}等人，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。25-34（2012；Zbl 1362.68153）
全文： 内政部
玛格丽塔·科洛维纳;尼古拉·沃罗布乔夫

一维受控多项式动力系统的可达性。 （英语） Zbl 1336.68183号

Clarke，Edmund（编辑）等人，《系统信息学视角》。2011年6月27日至7月1日，俄罗斯新西伯利亚，第八届安德烈·埃尔肖夫国际纪念大会，PSI 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-29708-3/pbk）。计算机科学课堂讲稿7162251-261（2012）。
MSC公司：68问题85 03C64号 65年第68季度 60年第68季度 93个B05 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Korovina}和\textit{N.Vorobjov}，莱克特。注释计算。科学。7162251--261（2012；Zbl 1336.68183）
全文： 内政部 链接

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。 （英语） Zbl 1300.93004号

纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。xi，第295页。，仅电子版（2012年）。
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17-19日。纽约州纽约市：计算机协会（ACM）（2012；Zbl 1300.93004）
全文： 内政部
安德烈·普拉泽

混合系统的逻辑分析。对复杂性挑战的完整回答。 （英语） 兹比尔1304.68131

Kutrib，Martin（编辑）等人，《形式系统的描述复杂性》。2012年7月23日至25日在葡萄牙布拉加举行的第14届DCFS 2012国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31622-7/pbk）。计算机科学课堂讲稿7386，43-49（2012）。
MSC公司：60年第68季度 03B70号 34A38型
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}，莱克特。注释计算。科学。7386、43-49（2012；Zbl 1304.68131）
全文： 内政部
安德烈·普拉泽

方程微分不变量的微分算子方法（特邀论文）。 （英语） Zbl 1360.68596号

Beringer、Lennart（编辑）等，《交互式定理证明》。第三届国际会议，2012年ITP，美国新泽西州普林斯顿，2012年8月13-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32346-1/pbk）。计算机科学课堂讲稿7406，28-48（2012）。
MSC公司：60年第68季度 03B70号 34A38型 34立方厘米 35B06型
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}，莱克特。注释计算。科学。7406，28-48（2012；Zbl 1360.68596）
全文： 内政部
古·T·约翰;李荣庆;迈克尔·库特鲁普（Michael M.Quottrup）。;查尔斯·克利夫顿。;伊扎迪·扎马纳巴迪，鲁兹贝;托马斯·贝克

基于时序逻辑规范的多机器人运动规划框架。 （英语） Zbl 1245.68227号

科学。中国，信息科学。 55，第7期，1675-1692（2012）.
MSC公司：68T40型 68T20型 68T27型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.J.Koo}等人，科学。中国，信息科学。55，第7号，1675--1692（2012；Zbl 1245.68227）
全文： 内政部 链接
奥尔加·特维雷蒂纳;丹尼尔·芬克

三维多线性系统可达性的判定。 （英语） 兹比尔1457.68110

D'Agostino，Giovanna（编辑）等人，第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利Minori，2011年6月15日至17日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）54，250-262（2011）。
MSC公司：2009年第68季度 60年第68季度 93个B03 93立方
PDF格式BibTeX公司 XML格式引用
\textit{O.Tveretina}和\textit{D.Funke}，电子。程序。西奥。计算。科学。（EPTCS）54，250--262（2011；Zbl 1457.68110）
全文： arXiv公司 链接
Thao Dang先生;罗曼·泰斯特利耶

利用曲率估计构造杂交域。 （英语） Zbl 1362.93014号

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。123-132 (2011).
MSC公司：93个B03 34A38型 65日第15天 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Dang}和\textit{R.Testylier}，in：第14届ACM混合系统国际会议论文集：计算和控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。123-132（2011；Zbl 1362.93014）
全文： 内政部
达姆，沃纳;卡斯滕·伊勒曼;维奥里卡Sofrone-Stokkerman

合理线性混合自动机安全性验证的决定性和复杂性。 （英语） Zbl 1361.68141号

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。73-82 (2011).
MSC公司：60年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Damm}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。73-82（2011；Zbl 1361.68141）
全文： 内政部
安德烈·普拉泽

量化的微分不变量。 （英语） Zbl 1362.93071号

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-0629-4）。63-72 (2011).
MSC公司：93立方 93立方厘米 93C20美元 93年第35季度 93A30型
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。63-72（2011年；Zbl 1362.93071）
全文： 内政部 链接

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。 （英语） Zbl 1300.93003号

纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。x、 第319页。，仅电子版（2011年）。
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
2011年4月12日至14日，美国伊利诺伊州芝加哥市，第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011。纽约州纽约市：计算机协会（ACM）（2011；Zbl 1300.93003）
全文： 内政部
Thao Dang先生;托马斯·马丁·高利察

基于模板的仿射混合自动机无界时间验证。 （英语） Zbl 1348.68100号

Yang，Hongseok（编辑），《编程语言和系统》。第九届亚洲研讨会，2011年APLAS，2011年12月5日至7日，台湾垦丁。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25317-1/pbk）。计算机科学课堂讲稿7078，34-49（2011）。
MSC公司：65年第68季度 65年第68季度 68问题55 60年第68季度 93个B03 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Dang}和\textit{T.M.Gawlitza}，莱克特。注释计算。科学。7078，34-49（2011；Zbl 1348.68100）
全文： 内政部
萨伊德·哈马德内

最优切换、反射BSDE系统和具有相互连接障碍的变分不等式系统。 （英语） 兹比尔1237.93178

Blath，Jochen（编辑）等人，《随机过程中的调查》。根据2009年7月27日至31日在德国柏林举行的第33届随机过程及其应用会议上所作的陈述，选出了一些论文。苏黎世：欧洲数学学会（EMS）（ISBN 978-3-03719-072-2/hbk）。EMS系列国会报告，1-27（2011）。
审核人：尤利亚·米舒拉（基辅）
MSC公司：93E20型 49J55型 93立方 60 H10型 49J40型
PDF格式BibTeX公司 XML格式引用
\textit{S.Hamadène}，in：随机过程中的调查。根据2009年7月27日至31日在德国柏林举行的第33届随机过程及其应用会议上所作的陈述，选出了一些论文。苏黎世：欧洲数学学会（EMS）。1-27（2011年；Zbl 1237.93178）
贾·戴维德·奎塞尔;马丁·范策尔;达姆，沃纳

跨越类似游戏之间的桥梁。 （英语） 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）
全文： 内政部
奥德·马勒

Amir Pnueli和混合系统的黎明。 （英语） Zbl 1360.68005号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。293-295 (2010).
MSC公司：68-03 01A60型 01A70号 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Maler}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。293-295（2010年；Zbl 1360.68005）
全文： 内政部
保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。

贝叶斯统计模型检查及其在Simulink/Stateflow验证中的应用。 （英语） Zbl 1361.68154号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。243-252 (2010).
MSC公司：60年第68季度 62C10个 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Zuliani}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。243-252（2010年；Zbl 1361.68154）
全文： 内政部
桑卡拉纳拉亚南，斯里拉姆

利用理想不动点自动生成混合系统的不变量。 （英语） Zbl 1360.34082号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。221-230 (2010).
MSC公司：34立方厘米 13N10型 34A38型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Sankaranarayanan｝，在：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。221--230（2010年；Zbl 1360.34082）
全文： 内政部
科尔斯汀·鲍尔;克劳斯·施耐德

从同步程序到混合系统的符号表示。 （英语） Zbl 1361.68057号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。41-50 (2010).
MSC公司：68号30 68甲15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Bauer}和\textit{K.Schneider}，in：第13届ACM混合系统国际会议论文集：计算和控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。41-50（2010年；Zbl 1361.68057）
全文： 内政部

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。 （英语） Zbl 1300.93002号

纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。x、 第295页。，仅电子版（2010年）。
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
2010年4月12-16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（2010；Zbl 1300.93002）
全文： 内政部
安库尔·塔利;阿什什·蒂瓦里

连续动力系统的演绎验证。 （英语） Zbl 1248.68336号

Kannan，Ravi（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15日至17日，印度坎普尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-13-2）。LIPIcs–莱布尼茨国际信息学会议录4，383-394，仅电子版（2009年）。
MSC公司：60年第68季度 68问题85 37N99型 37立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Taly}和\textit{A.Tiwari}，LIPIcs——莱布尼茨国际程序。通知。3833-394（2009年；兹比尔1248.68336）
全文： 内政部 链接
彼得·霍夫纳

混合系统的代数计算。 （英语） Zbl 1237.68010号

诺德斯泰德：图书点播；奥格斯堡：奥格斯伯格大学，Fakultät für Angewandte Informatik（ISBN 978-3-8391-2510-6/hbk）。x、 204页。(2009).
审核人：金·索林（乌普萨拉）
MSC公司：68-02 68号30 60年第68季度 68问题55 08A70号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{P.Höfner}，混合系统的代数计算。诺德斯泰德：图书点播；奥格斯堡：奥格斯伯格大学，Fakultät für Angewandte Informatik（2009；Zbl 1237.68010）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件