×

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

最新的 引文 关联
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）
全文： 内政部
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里·法伦贝格;Larsen，Kim G。;尼古拉斯·马基;Pierre Alain雷尼尔

基于不确定性能量时间自动机的最优鲁棒控制器综合。 （英语） Zbl 1458.93072号

正式Asp。计算。 33，编号1，3-25（2021）.
MSC公司：93B50个 65年第68季度 68瓦30 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，《正式Asp》。计算。33，编号1，3--25（2021；Zbl 1458.93072）
全文： 内政部 arXiv公司
亚历山大·戴维;Larsen，Kim G。;Legay、Axel;马吕斯·米库奇奥尼斯;丹尼·鲍尔森;乔纳斯·范弗利特;王、郑

定价时间自动机网络的统计模型检验。 （英语） Zbl 1348.68130号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，80-96（2011）。
MSC公司：60年第68季度 65年第68季度 68问题85 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit｛A.David｝等人，Lect。注释计算。科学。6919、80-96（2011年；Zbl 1348.68130）
全文： 内政部
弗兰克·卡塞兹;Jan J.杰森。;Larsen，Kim G。;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔

鲁棒和最优控制器的自动综合——工业案例研究。 （英语） Zbl 1237.93058号

Majumdar，Rupak（编辑）等人，《混合系统：计算和控制》。2009年4月13日至15日在美国加利福尼亚州旧金山举行的2009年HSCC第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00601-2/pbk）。《计算机科学讲义》5469，90-104（2009）。
MSC公司：93亿B51 93B50个 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Cassez}等人，Lect。注释计算。科学。5469、90-104（2009年；Zbl 1237.93058）
全文： 内政部
帕特里夏·鲍耶;弗兰克·卡塞兹;伊曼纽尔·弗勒里;Larsen，Kim G。

使用综合优化策略高超声速. （英语） Zbl 1272.68228号

de Alfaro，L.（编辑），《游戏设计与验证研讨会论文集》（GDV 2004），美国马萨诸塞州波士顿，2004年6月18日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记119，第1期，11-31（2005）。
MSC公司：60年第68季度 91A55型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，《电子》。注释Theor。计算。科学。119，编号1，11--31（2005；Zbl 1272.68228）
全文： 链接
金·古德斯特兰·拉森;雅各布·伊勒姆拉斯穆森

多值时间自动机的最优条件可达性。 （英语） Zbl 1118.68527号

Sassone，Vladimiro（编辑），《软件科学和计算结构基础》。2005年4月4日至8日，作为欧洲软件理论和实践联合会议的一部分，在英国爱丁堡举行了第八届国际会议，FOSSACS 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25388-2/pbk）。计算机科学课堂讲稿3441234-249（2005）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}和\textit{J.I.Rasmussen}，莱克特。注释计算。科学。3441，234--249（2005；Zbl 1118.68527）
全文： 内政部
马蒂恩·亨德里克斯;格德·贝尔曼;金·拉森;彼得·尼伯特;Vaandrager，Frits公司

向Uppaal添加对称减少。 （英语） 兹比尔1099.68657

Larsen，Kim G.（编辑）等，时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林：施普林格出版社（ISBN 3-540-21671-5/pbk）。计算机科学课堂讲稿2791，46-59（2004）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hendriks}等人，Lect。注释计算。科学。2791，46-59（2004年；兹bl 1099.68657）
全文： 内政部
帕特里夏·鲍耶;弗兰克·卡塞兹;伊曼纽尔·弗勒里;Larsen，Kim G。

定价时间博弈自动机中的最优策略。 （英语） Zbl 1117.68396号

Lodaya，Kamal（编辑）等人，FSTTCS 2004：软件技术和理论计算机科学基础。第24届国际会议，印度钦奈，2004年12月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24058-6/pbk）。计算机科学课堂讲稿3328148-160（2004）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。3328148-160（2004年；Zbl 1117.68396）
全文： 内政部
格德·贝尔曼;安斯加·芬克;托马斯·匈奴;金·拉森;保罗·佩特森

高效引导UPPAAL实现成本优化。 （英语） Zbl 0978.68541号

Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2031, 174-188 (2001).
MSC公司：60年第68季度 68问题85 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{G.Behrmann}等人，Lect。注释计算。科学。2031、174--188（2001年；Zbl 0978.68541）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件