×

找到27份文件（结果1-27）

最新的 引文 关联
阿尔伯特·本文尼斯特;贝诺·凯劳德;马蒂亚斯·马兰丹

从混合自动机到基于DAE的建模。 （英语） Zbl 1528.68174号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 3-20 (2022).
MSC公司：65年第68季度 03H10年上半年 34A09号 93-10 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Benveniste}等人，Lect。注释计算。科学。13660，3--20（2022；Zbl 1528.68174）
全文： 内政部 哈尔
安东尼奥·法维拉·孔特雷拉斯;弗朗西斯科·贝特拉恩·卡巴贾尔;亚历杭德罗·皮尼翁;安吉洛·雷蒙迪

一类混杂系统的极限环分析。 （英语） Zbl 1400.34043号

数学。问题。工程师。 2016年，文章ID 2981952，14 p.（2016）.
MSC公司：34二氧化碳 34A38型 93C40型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Favela-Contreras}等人，《数学》。问题。Eng.2016，文章ID 2981952，14 p.（2016；Zbl 1400.34043）
全文： 内政部
斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格（Thomas A.Henzinger）。;Johnson，Taylor T。;普拉卡什，普拉多特

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

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

超越常微分方程的平均场极限。 （英语） Zbl 1346.68217号

Bernardo，Marco（编辑）等人，集体适应系统定量评估的形式方法。第16所计算机、通信和软件系统正式设计方法国际学校，2016年SFM，意大利贝蒂诺罗，2016年6月20日至24日。高级讲座。查姆：施普林格（ISBN 978-3-319-34095-1/pbk；978-3-3169-34096-8/电子书）。计算机科学9700，61-82（2016）讲稿。
MSC公司：第68页第42页 34A60型 34F05型 60J28型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{N.Gast}，莱克特。注释计算。科学。9700、61-82（2016年；Zbl 1346.68217）
全文： 内政部 哈尔
卢卡·博托卢西;罗伯塔·兰西亚尼

定时属性的流体模型检查。 （英语） 兹比尔1465.68171

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 172-188 (2015).
MSC公司：第68季度第60季度 34K50美元 60K20码 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{R.Lanciani}，莱克特。注释计算。科学。9268、172--188（2015年；Zbl 1465.68171）
全文： 内政部 arXiv公司
尼玛·鲁希;马赫什·维斯瓦纳坦

具有线性微分包含和矩形约束的初始化混合自动机的有时限可达性。 （英语） Zbl 1448.68274号

Legay，Axel（编辑）等人，《定时系统的形式化建模和分析》。第十二届国际会议，FORMATS 2014，意大利佛罗伦萨，2014年9月8-10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8711, 191-205 (2014).
MSC公司：65年第68季度 34A60型 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛N.Roohi｝和\textit｛M.Viswanathan｝，Lect。注释计算。科学。8711、191--205（2014；Zbl 1448.68274）
全文： 内政部
马西莫·贝内雷塞蒂;马可·费拉

跟踪多面体边界上的可微分轨迹。 （英语） 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型 第68季度第60季度 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）
全文： 内政部
蒂莫西·布鲁克;马克·普泽特

Zélus：与ODE同步的语言。 （英语） Zbl 1361.68026号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。113-118 (2013).
MSC公司：68甲15 34A38型 65C20个 65年第68季度 93A30型
PDF格式BibTeX公司 XML格式引用
\textit{T.Bourke}和\textit{M.Pouzet}，in：第16届ACM混合系统国际会议论文集：计算和控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。113-118（2013；Zbl 1361.68026）
全文： 内政部
杜吉拉拉，帕拉萨拉·斯里达尔;萨扬·密特拉

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

第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。115-123 (2012).
MSC公司：第68季度第60季度 34A38型 65年第68季度 93立方 93天30分
PDF格式BibTeX公司 XML格式引用
\textit{P.S.Duggirala}和\textit{S.Mitra}，in：第十五届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。115-123（2012；Zbl 1361.68145）
全文： 内政部
马西莫·贝内雷塞蒂;马可·费拉;斯特凡诺·米诺波利

线性混合系统的可达性博弈。 （英语） Zbl 1361.68116号

第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。65-74 (2012).
MSC公司：65年第68季度 34A60型 91A80型 93B40码 93亿B50 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Benerecetti}等人，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。65-74（2012年；兹bl 1361.68116）
全文： 内政部
拉希德·热比哈;纳迪尔·马特林格;阿纳多·维埃拉·穆拉

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

第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。25-34 (2012).
MSC公司：65年第68季度 34A38型 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rebiha}等人，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。25-34（2012；Zbl 1362.68153）
全文： 内政部
延斯·奥勒金;奥利弗·泰尔

随机混合系统自动收敛证明的分解证明方案。 （英语） Zbl 1262.93026号

刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799151-165（2009）。
MSC公司：93E15型 34A38型 65年第68季度 68吨15 90立方厘米22
PDF格式BibTeX公司 XML格式引用
\textit{J.Oehlerking}和\textit{O.Theel}，莱克特。注释计算。科学。5799，151--165（2009；Zbl 1262.93026）
全文： 内政部
尤金·亚萨林;杰拉尔多·施奈德;塞尔吉奥·尤文

计算多边形微分包裹体的相图。 （英语） Zbl 1054.93030号

Tomlin，Claire J.（编辑）等人，《混合系统：计算和控制》。2002年3月25日至27日，美国加利福尼亚州斯坦福市，2002年HSCC第五次国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43321-X）。莱克特。注释计算。科学。2289, 49-61 (2002).
审核人：Do Van Luu（河内）
MSC公司：93立方 93个B05 65年第68季度 34C07（二氧化碳） 34A60型
PDF格式BibTeX公司 XML格式引用
\textit{E.Asarin}等人，Lect。注释计算。科学。2289、49-61（2002年；Zbl 1054.93030）
全文： 链接
蒂姆，迪特里希;汉斯·尤根·希沃（Hans-Jürgen Schiewer）

Das Differenzenverfahren zur Lösung von Randwertaufgaben unter Berücksichtigung der Bedingungen des Programmiersystems DGL。 （德语） Zbl 0431.65057号

威斯。罗斯托克大学数学系-自然。R。 23, 727-730 (1974).
MSC公司：65升10 65-04 65年第68季度 34个B05
PDF格式BibTeX公司 XML格式引用
\威斯康星州，textit{D.Timm}和\textit{H.-J.Schiewer}。罗斯托克大学数学系-自然。R.23，727--730（1974；Zbl 0431.65057）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件