×

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

最新的 引文 关联
彼得·布里切夫;弗兰克·卡塞兹;亚历山大·戴维;金·古德斯特兰·拉森;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）
全文： 内政部 arXiv公司
弗兰克·卡塞兹;奥利维尔·鲁克斯。

从时间Petri网到时间自动机的结构转换。 （英语） 兹比尔1272.68294

Huth，Michael R.A.（编辑），《关键系统自动验证第四次国际研讨会论文集》（AVoCS 2004），英国伦敦，2004年9月4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》128，第6期，145-160（2005）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛F.Cassez｝和\textit｛O.H.Roux｝，电子。注释Theor。计算。科学。128，第6号，145-160（2005；Zbl 1272.68294）
全文： 链接
贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆，迪迪埃;奥利维尔·鲁克斯。

时间自动机和时间Petri网表达能力的比较。 （英语） Zbl 1175.68270号

Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿3829211-225（2005）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bérard}等人，Lect。注释计算。科学。3829211-225（2005年；Zbl 1175.68270）
全文： 内政部
贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆，迪迪埃;奥利维尔·鲁克斯。

时间自动机何时弱时间与时间Petri网相似？ （英语） Zbl 1158.68424号

Ramanujam，R.（ed.）等人，FSTTCS 2005：软件技术和理论计算机科学基础。第25届国际会议，印度海得拉巴，2005年12月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30495-9/pbk）。计算机科学课堂讲稿3821273-284（2005）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{B.Bérard}等人，Lect。注释计算。科学。3821273--284（2005年；Zbl 1158.68424）
全文： 内政部
弗兰克·卡塞兹;亚历山大·戴维;伊曼纽尔·弗勒里;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）
全文： 内政部
弗兰克·卡塞兹;拉森，金

秒表令人印象深刻的力量。 （英语） Zbl 0999.68112号

Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1877, 138-152 (2000).
MSC公司：65年第68季度 68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Cassez}和\textit{K.Larsen}，莱克特。注释计算。科学。1877，138--152（2000；Zbl 0999.68112）
弗兰克·卡塞兹;弗朗索瓦·拉鲁西尼

通过商和约束求解对混合系统进行模型检查。 （英语） Zbl 0974.68117号

Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第十二届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1855, 373-388 (2000).
MSC公司：60年第68季度 68问题85 65年第68季度 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{F.Cassez}和\textit{F.Laroussinie}，莱克特。注释计算。科学。1855373-388（2000年；Zbl 0974.68117）

筛选结果依据…

文档类型

全部的 前5名

作者

体积

出版年份

主字段

全部的 前3名

软件