×

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

最新的 引文 相关性
亚历山大·戴维;彼得·詹森（Peter G.Jensen）。;金·古德斯特兰·拉森;Legay、Axel;莱姆，迪迪埃;瑟伦森，马蒂亚斯·格兰德;雅各布·H·塔安克维斯特。

以最低的预期成本按时完成！ （英语） Zbl 1448.68294号

Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第8837129-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）
全文： DOI程序
亚历山大·戴维;方慧星;金·古德斯特兰·拉森;张正奎

计时游戏策略的验证和性能评估。 （英语） Zbl 1448.68293号

Legay，Axel（编辑）等人，《定时系统的形式化建模和分析》。第十二届国际会议，FORMATS 2014，意大利佛罗伦萨，2014年9月8-10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8711, 100-114 (2014).
MSC公司：60年第68季度 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。注释计算。科学。8711、100-114（2014年；Zbl 1448.68293）
全文： DOI程序
彼得·布利切夫;弗兰克·卡塞兹;亚历山大·戴维;金·古德斯特兰·拉森;Jean-François拉斯金;皮埃尔·阿莱·雷尼尔

具有最小观测能力的控制器（应用于定时系统）。 （英语） Zbl 1374.68255号

Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561223-237（2012）。
MSC公司：65年第68季度 60年第68季度 68问题85 93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{P.Bulychev}等人，Lect。注释计算。科学。7561、223--237（2012年；Zbl 1374.68255）
全文： DOI程序 arXiv公司
彼得·布利切夫;亚历山大·戴维;金·古德斯特兰·拉森;Legay、Axel;李广元;丹尼·鲍尔森（Danny Bougsted Poulsen）;阿梅莉·施泰纳

加权度量时态逻辑的基于监视器的统计模型检查。 （英语） Zbl 1352.68147号

Björner，Nikolaj（编辑）等人，《编程逻辑、人工智能和推理》。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28716-9/pbk）。计算机科学课堂讲稿7180168-182（2012）。
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bulychev}等人，Lect。注释计算。科学。7180、168--182（2012；Zbl 1352.68147）
全文： DOI程序 哈尔
蒂莫西·布鲁克;亚历山大·戴维;Larsen，Kim G。;Legay、Axel;莱姆，迪迪埃;乌尔里克·尼曼;安德烈·索夫斯基

定时规格的新结果。 （英语） Zbl 1312.68129号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137175-192（2012）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Bourke}等人，Lect。注释计算。科学。7137175--192（2012年；Zbl 1312.68129）
全文： DOI程序 链接
亚历山大·戴维;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 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。注释计算。科学。6919、80-96（2011年；Zbl 1348.68130）
全文： DOI程序
亚历山大·戴维;Larsen，Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·沃索斯基

时间I/O自动机：实时系统的完整规范理论。 （英语） Zbl 1361.68143号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。91-100 (2010).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.David｝等人，在：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。91-100（2010年；Zbl 1361.68143）
全文： DOI程序
李书豪;桑迪·巴拉格;亚历山大·戴维;Larsen，Kim G。;布莱恩·尼尔森;普辛斯卡斯·索利乌斯·普辛斯卡斯

使用UPPAAL对实时系统进行基于场景的验证。 （英语） Zbl 1209.68323号

形式方法系统。设计。 37，编号2-3，200-264（2010）.
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Li}等人，《形式方法系统》。设计。37，编号2--3200-264（2010；Zbl 1209.68323）
全文： DOI程序
亚历山大·戴维;Larsen，Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·索夫斯基

使用定时I/O自动机的实时系统规范的方法。 （英语） Zbl 1312.68131号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286290-310（2010）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。注释计算。科学。6286290-310（2010年；Zbl 1312.68131）
全文： DOI程序 链接
彼得·布利切夫;托马斯·查泰恩;亚历山大·戴维;Larsen，Kim G。

用于检查交替计时模拟的高效实时算法。 （英语） Zbl 1262.68105号

Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。《计算机科学讲义》5813、73-87（2009）。
MSC公司：60年第68季度 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bulychev}等人，Lect。注释计算。科学。5813、73--87（2009年；Zbl 1262.68105）
全文： DOI程序
亚历山大·戴维;约翰·哈坎森;Larsen，Kim G。;保罗·佩特森

使用DBM减法对具有优先级的时间自动机进行模型检查。 （英语） Zbl 1141.68462号

Asarin，Eugene（编辑）等人，《时间系统的形式化建模和分析》。第四届国际会议，FORMATS 2006，巴黎，法国，2006年9月25-27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45026-9/pbk）。计算机科学课堂讲稿4202128-142（2006）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。注释计算。科学。4202128--142（2006年；Zbl 1141.68462）
全文： DOI程序 链接
弗兰克·卡塞兹;亚历山大·戴维;伊曼纽尔·弗勒里;Larsen，Kim G。;莱姆，迪迪埃

用于定时游戏分析的高效动态算法。 （英语） Zbl 1134.68382号

Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山，2005年8月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653，66-80（2005）。
MSC公司：65年第68季度 68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Cassez}等人，Lect。注释计算。科学。3653、66-80（2005年；Zbl 1134.68382）
全文： DOI程序
格德·贝尔曼;亚历山大·戴维;Larsen，Kim G。

UPPAAL教程。 （英语） Zbl 1105.68350号

Bernardo，Marco（编辑）等人，实时系统设计的形式化方法。计算机、通信和软件系统正式设计方法国际学校，SFM-RT 2004，意大利贝蒂诺罗，2004年9月13日至18日。修改后的讲座。柏林：施普林格出版社（ISBN 3-540-23068-8/pbk）。计算机科学课堂讲稿3185200-236（2004）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Behrmann}等人，Lect。注释计算。科学。3185200--236（2004；Zbl 1105.68350）
全文： DOI程序
亚历山大·戴维;格德·贝尔曼;Larsen，Kim G。;易、王

时间自动机验证中的统一与共享。 （英语） Zbl 1023.68525号

Ball，Thomas（编辑）等人，《模型检查软件》。第十届国际SPIN研讨会，美国俄勒冈州波特兰，2003年5月9日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2648, 225-229 (2003).
MSC公司：68号30 65年第68季度 68磅05分
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。注释计算。科学。2648225-229（2003年；Zbl 1023.68525）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件