×

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

最新的 引文 关联
恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克

替代好的MDP自动机。 （英语） Zbl 1522.68270号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13505, 303-319 (2022).
MSC公司：65年第68季度 60年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Hahn}等人，Lect。票据计算。科学。13505、303--319（2022；Zbl 1522.68270）
全文： 内政部 arXiv公司 链接
Masaki Waga；埃泽奎尔·卡斯特拉诺；萨西内·普鲁克普拉塞特；斯特凡·克里科维茨；Toru Takisaka公司；一郎·哈索

动态屏蔽，用于黑盒环境中的强化学习。 （英语） Zbl 1522.68351号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13505, 25-41 (2022).
MSC公司：60年第68季度 68问题32 65年第68季度 68T05型 90立方厘米 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Waga}等人，Lect。票据计算。科学。13505，25-41（2022；Zbl 1522.68351）
全文： 内政部 arXiv公司
马丁·塔普勒；埃迪·穆什卡丁；伯恩哈德·艾切尼格（Bernhard K.Aichernig）。；药丸，印戈

随机反应系统的主动模型学习。 （英语） Zbl 1522.68348号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13085, 481-500 (2021).
MSC公司：60年第68季度 68问题32 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Tappler}等人，Lect。票据计算。科学。13085、481--500（2021；Zbl 1522.68348）
全文： 内政部
穆罕默德·里兹万·阿里；Pun、Violet Ka I。

基于参与者的工作流建模语言的成本分析。 （英语） Zbl 1498.68069号

Campos，Sérgio（编辑）等人，《形式方法：基础和应用》。第24届巴西研讨会，SBMF 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13130, 104-121 (2021).
MSC公司：68号30 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Ali}和\textit{V.K.I.Pun}，莱克特。票据计算。科学。13130，104-121（2021；Zbl 1498.68069）
全文： 内政部 链接
阿恩·哈特曼斯；Joost-Pieter卡托恩；科伦，布拉姆；拼写，Jip

在概率时间自动机中调整概率。 （英语） Zbl 1491.68098号

阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12846, 39-58 (2021).
MSC公司：65年第68季度 60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Hartmanns}等人，莱克特。票据计算。科学。12846，39-58（2021；Zbl 1491.68098）
全文： 内政部 链接
蒂姆·夸特曼；Joost-Pieter卡托恩

长期平均和总回报的多目标优化。 （英语） Zbl 1467.68094号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12651, 230-249 (2021).
MSC公司：60年第68季度 65年第68季度 87年第68季度 90C29型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.Quatmann}和\textit{J.-P.Katoen}，莱克特。票据计算。科学。12651、230-249（2021；Zbl 1467.68094）
全文： 内政部 arXiv公司
雨果·A·洛佩兹。；瑟伦·德博伊斯；斯莱亚特，蒂杰斯；托马斯·希尔德布兰特。

使用法律参考模型遵守业务流程。 （英语） Zbl 1507.68215号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12076, 378-399 (2020).
MSC公司：68问题85 60年第68季度 90B70型
PDF格式BibTeX公司 XML格式引用
\textit{H.A.López}等人，Lect。票据计算。科学。12076378--399（2020年；Zbl 1507.68215）
全文： 内政部
陈欣；彭超；林，王；杨正峰；张一芳；李宣东

一种解决屏障证书生成中BMI问题的新方法。 （英语） Zbl 1478.68152号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12224, 582-603 (2020).
MSC公司：60年第68季度 15A45型 90C22型
PDF格式BibTeX公司 XML格式引用
\textit{X.Chen}等人，Lect。票据计算。科学。12224582--603（2020年；Zbl 1478.68152）
全文： 内政部
鲁迪·本内尔；伊尔克·图尔卡斯兰；菲利普·托尔。；M.Pawan库马尔；卢、净月；科利，普希米特

用于分段线性神经网络验证的分支和定界。 （英语） Zbl 1498.68153号

J.马赫。学习。物件。 21，第42号论文，39页（2020年）.
MSC公司：60年第68季度 68T07型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Bunel}等人，J.Mach。学习。第21号决议，第42号论文，39页（2020年；Zbl 1498.68153）
全文： arXiv公司 链接
蒂姆·夸特曼；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩

多目标马尔可夫自动机。 （英语） Zbl 1494.68146号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。10426140-159（2017年）。
MSC公司：65年第68季度 60年第68季度 87年第68季度 90C29型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{T.Quatmann}等人，Lect。票据计算。科学。10426，140--159（2017；Zbl 1494.68146）
全文： 内政部 arXiv公司
杨正峰；黄超；陈欣；林，王；刘志明

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

Fitzgerald，John（ed.）等人，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 1382.68003号

查姆：施普林格（ISBN 978-3-319-44958-6/hbk；978-3-3169-44960-9/电子书）。xii，279页。(2016).
MSC公司：68-01 65年第68季度 60年第68季度 68问题85 90B70型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Kunze｝和\textit｛M.Weske｝，行为模型。从建模有限自动机到分析业务流程。查姆：斯普林格（2016；Zbl 1382.68003）
全文： 内政部
Timothy E.王。；皮埃尔·洛伊奇·卡洛什；皮埃尔·鲁克斯；罗曼·乔布雷多；埃里克·费伦

对模型和代码级别的健壮性进行形式化分析。 （英语） Zbl 1364.93249号

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。125-134 (2016).
MSC公司：93B40码 90C22型 93B35型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.E.Wang}等人，摘自：第19届ACM混合系统国际会议论文集：计算与控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。125-134（2016年；Zbl 1364.93249）
全文： 内政部
马丁·希尔舍尔；梅克·施瓦姆伯格

证明自治城市交通安全的抽象模型。 （英语） Zbl 1401.68199号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：施普林格（ISBN 978-3-319-46749-8/pbk；978-3-3169-46750-4/电子书）。计算机科学讲座笔记9965，274-292（2016）。
MSC公司：60年第68季度 03B70号 65年第68季度 90B20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Hilscher}和\textit{M.Schwammberger}，莱克特。票据计算。科学。9965274-292（2016年；Zbl 1401.68199）
全文： 内政部
克里希南德·查特吉；马丁·奇梅利克；马修·特雷科尔

具有（ω）正则目标的部分可观测马尔可夫决策过程的可判定性。 （英语） Zbl 1338.68166号

J.计算。系统。科学。 82，No.5，878-911（2016）.
MSC公司：60年第68季度 2017年第68季度 65年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，J.Compute。系统。科学。82，No.5，878--911（2016；Zbl 1338.68166）
全文： 内政部 arXiv公司
大卫·布雷索林；卢卡·杰雷蒂；里卡多·穆拉多尔；保罗·菲奥里尼；蒂齐亚诺别墅

应用于机器人手术的形式验证。 （英语） 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）
全文： 内政部
Forejt，Vojtěch公司；Krčál，简；简·Křetínsk

MDP和频率的控制器综合{长期贷款}_{\setminus\mathrm{GU}}\）。 （英语） Zbl 1471.68142号

Davis，Martin（编辑）等人，《编程逻辑、人工智能和推理》。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9450, 162-177 (2015).
MSC公司：60年第68季度 03B44号 03B70号 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{V.Forejt}等人，Lect。票据计算。科学。9450、162——177（2015年；兹比尔1471.68142）
全文： 内政部 arXiv公司
罗伯托·纳尔多；乌戈·詹蒂莱；阿德里亚诺·佩隆；马西莫·贝内雷塞蒂；瓦莱里亚·维托里尼；斯特凡诺·马龙；雷纳托·德古列尔莫；尼古拉·马佐卡；路易吉·维拉迪

用于规范化铁路控制系统规范的动态状态机。 （英语） Zbl 1328.68129号

Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。第三次国际研讨会，FTSCS 2014，卢森堡，2014年11月6-7日。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-17580-5/pbk；978-3-316-17581-2/电子书）。《计算机与信息科学通信》476，93-109（2015）。
MSC公司：60年第68季度 65年第68季度 90B20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Nardone}等人，Commun。计算。信息科学。476、93——109（2015年；Zbl 1328.68129）
全文： 内政部
康斯坦丁埃纳；彼得·哈贝梅尔；奥马尔·因弗索；Gennaro帕拉托

关于整数线性规划的路径宽度。 （英语） Zbl 1464.90040号

Peron，Adriano（编辑）等人，第五届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2014，意大利维罗纳，2014年9月10-12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）161，74-87（2014）。
MSC公司：90立方厘米 03B25号 05C90年 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Enea}等人，《电子》。程序。西奥。计算。科学。（EPTCS）161、74--87（2014；Zbl 1464.90040）
全文： arXiv公司 链接
亚历山大·戴维；彼得·詹森（Peter G.Jensen）。；金·古德斯特兰·拉森；Legay、Axel；莱姆，迪迪埃；瑟伦森，马蒂亚斯·格兰德；雅各布·H·塔安克维斯特。

以最低的预期成本按时完成！ （英语） 兹比尔1448.68294

Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，2014年亚洲电视协会第12届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8837, 129-145 (2014).
MSC公司：60年第68季度 65年第68季度 68T05型 90B35型 90立方厘米 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。票据计算。科学。8837、129--145（2014年；Zbl 1448.68294）
全文： 内政部
托马斯·布拉兹迪尔；Václav布罗泽克；克里希南德·查特吉；Forejt，Vojtěch公司；安东·库切拉

具有多个长期平均目标的马尔可夫决策过程。 （英语） Zbl 1326.90101号

日志。方法计算。科学。 10，第1号，第13号论文，29页（2014）.
MSC公司：90立方厘米 60年第68季度 90C29型
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，日志。方法计算。科学。10，第1号，第13号论文，29页（2014；Zbl 1326.90101）
全文： 内政部
玛丽亚姆·坎加普尔；肖恩·萨默斯；约翰·莱杰罗斯

随机混合系统规范的控制设计。 （英语） Zbl 1364.93263号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。303-312 (2013).
MSC公司：93亿B50 65年第68季度 60年第68季度 90立方厘米 93个B03 93立方 93C55美元 93E03型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kamgarpour}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。303--312（2013；Zbl 1364.93263）
全文： 内政部
伊利亚·特卡切夫；亚历山大·梅雷克莱；Joost-Pieter卡托恩；亚历山德罗·阿巴特

非自治随机混合系统基于定量自动机的控制器综合。 （英语） 兹比尔1362.68189

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。293-302 (2013).
MSC公司：60年第68季度 2005年6月60日 65年第68季度 90立方厘米 93个B03 93亿B50 93E20型
PDF格式BibTeX公司 XML格式引用
\textit{I.Tkachev}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，费城，宾夕法尼亚州，美国，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。293--302（2013；Zbl 1362.68189）
全文： 内政部
克里希南德·查特吉；马丁·奇梅利克；马修·特雷科尔

具有欧米伽规则目标的部分可观测马尔可夫决策过程的可判定性。 （英语） Zbl 1356.68142号

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，165-180（2013）。
MSC公司：60年第68季度 2017年第68季度 65年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，LIPIcs——莱布尼茨国际程序。通知。23、165-180（2013；Zbl 1356.68142）
全文： 内政部
巴勃罗·拉巴纳尔；伊斯梅尔·罗德里格斯；费尔南多·鲁比奥

测试可恢复系统：基于河流形成动力学的形式化定义和启发式解决方案。 （英语） 兹比尔1298.68255

正式Asp。计算。 第5号第25页，第743-768页（2013年）.
MSC公司：68T20型 65年第68季度 60年第68季度 68T05型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{P.Rabanal}等人，正式Asp。计算。25，第5号，743--768（2013；Zbl 1298.68255）
全文： 内政部
丹尼尔·奈德

使用SAT和SMT求解器计算最小分离DFA和正则不变量。 （英语） Zbl 1374.68264号

Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561354-369（2012）。
MSC公司：65年第68季度 60年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{D.Neider}，莱克特。票据计算。科学。7561、354--369（2012年；Zbl 1374.68264）
全文： 内政部
贝诺·德拉哈耶；贝努伊特Caillaud；Legay、Axel

概率契约：用于设计具有随机和/或非确定性方面的系统的组合推理方法。 （英语） Zbl 1210.93068号

形式方法系统。设计。 38，编号1，1-32（2011）.
MSC公司：93E03型 87年第68季度 65年第68季度 60年第68季度 90B25型
PDF格式BibTeX公司 XML格式引用
\textit{B.Delahaye}等人，《形式方法系统》。设计。38，第1号，1--32（2011；Zbl 1210.93068）
全文： 内政部
克里斯特尔·拜尔；马库斯·格勒；Frank Ciesinski先生

概率系统线性时间特性的模型检验。 （英语） Zbl 1484.68095号

Droste，Manfred（编辑）等人，《加权自动机手册》。柏林：斯普林格。单声道。定理。计算。科学。，EATCS系列。，519-570 (2009).
MSC公司：60年第68季度 2010年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛C.Baier｝等人，《加权自动机手册》。柏林：斯普林格。519-570（2009年；兹比尔1484.68095）
全文： 内政部
斯蒂芬·费内克；戈登·佩斯。；杰拉尔多·施奈德

合同的自动冲突检测。 （英语） Zbl 1250.03049号

Leucker，Martin（编辑）等人，《计算的理论方面——ICTAC 2009》。第六届国际学术讨论会，马来西亚吉隆坡，2009年8月16日至20日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03465-7/pbk）。计算机科学讲座笔记5684200-214（2009）。
MSC公司：03B70号 03B45 05年3月 60年第68季度 90比90
PDF格式BibTeX公司 XML格式引用
\textit{S.Fenech}等人，Lect。票据计算。科学。5684、200--214（2009年；Zbl 1250.03049）
全文： 内政部 链接
van Beek博士。；Reniers，医学硕士。；R.R.H.希弗勒。；罗达，J.E。

混合系统组合交换格式的基础。 （英语） Zbl 1221.68152号

Bempoad，Alberto（编辑）等人，《混合系统：计算和控制》。2007年4月3日至5日在意大利比萨举行的2007年HSCC第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71492-7/pbk）。计算机科学课堂讲稿4416，587-600（2007）。
MSC公司：65年第68季度 60年第68季度 90立方
PDF格式BibTeX公司 XML格式引用
\textit{D.A.van Beek}等人，Lect。票据计算。科学。4416587--600（2007年；Zbl 1221.68152）
全文： 内政部 链接
安妮·E·哈克斯豪森。；简·佩莱斯卡

一种面向域的、基于模型的铁路控制系统构建和验证方法。 （英语） Zbl 1151.68481号

Jones，Cliff B.（编辑）等人，《形式化方法和混合实时系统》。纪念迪内斯·比约纳和周朝晨70岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-75220-2/pbk）。计算机科学课堂讲稿4700，320-348（2007）。
MSC公司：60年第68季度 90B20型 93立方 93C83号
PDF格式BibTeX公司 XML格式引用
\textit｛A.E.Haxthausen｝和\textit｛J.Peleska｝，Lect。票据计算。科学。4700、320-348（2007年；Zbl 1151.68481）
全文： 内政部
艾尔，阿斯格

通过对连接进行排序，将领域概念紧密联系起来。 （英语） Zbl 1151.68662号

Jones，Cliff B.（编辑）等人，《形式化方法和混合实时系统》。纪念迪内斯·比约纳和周朝晨70岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-75220-2/pbk）。计算机科学课堂讲稿4700，188-216（2007）。
MSC公司：68立方英尺 60年第68季度 90B99型
PDF格式BibTeX公司 XML格式引用
\textit{A.Eir}，莱克特。票据计算。科学。4700、188--216（2007年；Zbl 1151.68662）
全文： 内政部
哈迪·亨加；奥利弗·尼塞；伯恩哈德·斯特芬

自动机学习中的领域特定优化。 （英语） Zbl 1278.68177号

Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，2003年CAV，美国科罗拉多州博尔德，2003年7月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。票据计算。科学。2725, 315-327 (2003).
MSC公司：60年第68季度 68问题32 65年第68季度 90B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Hungar}等人，Lect。票据计算。科学。2725、315--327（2003年；Zbl 1278.68177）
全文： 内政部
格德·贝尔曼；Fehnker，Ansgar公司；托马斯·匈奴；金·拉森；保罗·佩特森

定价时间自动机的最小成本可达性。 （英语） Zbl 0991.68037号

Di Benedetto，Maria Domenica（编辑）等人，《混合系统：计算与控制》。2001年3月28日至30日，第四届国际研讨会，HSCC2001，意大利罗马。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2034, 147-161 (2002).
MSC公司：65年第68季度 90C27型 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{G.Behrmann}等人，Lect。票据计算。科学。20341947-161（2002年；兹bl 0991.68037）
全文： 链接
李宣东；裴瑜；赵建华；李勇；郑涛；郑国良

使用线性规划对一类线性混合自动机进行有效验证。 （英语） Zbl 1002.68506号

Margaria，Tiziana（编辑）等人，《正确的硬件设计和验证方法》。第11届IFIP WG 10.5高级研究工作会议，CHARME 2001，英国苏格兰利文斯顿，2001年9月4日至7日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2144, 465-479 (2001).
MSC公司：65年第68季度 60年第68季度 90C05（二氧化碳） 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{X.Li}等人，Lect。票据计算。科学。2144465--479（2001年；Zbl 1002.68506）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件