×

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

最新的 引文 关联
Jeremy Bryans；布莱尔、林恩；霍华德·鲍曼；约翰·德里克

基于自动机的设计的规范和分析。 （英语） Zbl 1043.68566号

Grieskamp，Wolfgang（编辑）等人，《综合形式方法》。2000年11月1日至3日，第二届国际会议，IFM 2000，德国达格斯图尔城堡。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41196-8）。莱克特。注释计算。科学。1945, 176-193 (2000).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Bryans}等人，Lect。注释计算。科学。1945年，176-193年（2000年；Zbl 1043.68566）
全文： 链接
杜晓群；罗摩克里希南。；斯科特·斯莫尔卡。

非定时系统的实时验证技术。 （英语） Zbl 0971.68101号

Corradini，Flavio（编辑）等人，MTCS 2000。2000年8月26日，美国宾夕法尼亚州帕克大学州立学院时间关键系统模型国际卫星研讨会论文集。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。39,315页，仅电子版（2000年）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Du}等人，in：MTCS 2000。2000年8月26日，美国宾夕法尼亚州大学公园州立学院，时间关键型系统模型国际卫星研讨会论文集。阿姆斯特丹：爱思唯尔。15页（2000年；Zbl 0971.68101）
北迪帕·潘达莱。；拉里·霍洛韦（Larry E.Holloway）。

定时离散事件过程故障监测的模板语言。 （英语） Zbl 0979.93071号

IEEE传输。自动。控制 45，第5期，868-882（2000）.
审核人：卡尔·海因茨·沃尔德曼（卡尔斯鲁厄）
MSC公司：93元65角 90秒25 93A30型
PDF格式BibTeX公司 XML格式引用
\textit{D.N.Pandalai}和\textit{L.E.Holloway}，IEEE Trans。自动。控件45，编号5，868--882（2000；Zbl 0979.93071）
全文： 内政部
林惠民；易、王

时间自动机的证明系统。 （英语） Zbl 0961.68071号

Tiuryn，Jerzy（编辑），《软件科学和计算结构基础》。第三届国际会议，FOSSACS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1784, 208-222 (2000).
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Lin}和\textit{W.Yi}，Lect。注释计算。科学。1784208--222（2000年；Zbl 0961.68071）
拉杰夫·阿鲁尔

定时自动机。 （英语） Zbl 0957.68052号

Inan，M.Kemal（编辑）等人，《数字和混合系统的验证》。北约ASI会议记录，土耳其安塔利亚，1997年5月26日至6月6日。柏林：斯普林格。北约ASI系列。，序列号。F、 计算。系统。科学。170, 233-264 (2000).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}，北约ASI Ser。，序列号。F、 计算。系统。科学。170、233--264（2000；Zbl 0957.68052）
帕德马纳巴恩·克里希南

定时系统中调度器的自动合成。 （英语） Zbl 0966.68020号

David Wolfram（编辑），CATS 2000计算：澳大利亚理论研讨会，澳大利亚堪培拉，2000年2月1-2日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第31、1、14页，仅电子版（2000年）。
MSC公司：68平方米
PDF格式BibTeX公司 XML格式引用
\textit{P.Krishnan}，收录于：CATS 2000计算：澳大利亚理论研讨会，澳大利亚堪培拉，2000年2月1日至2日。阿姆斯特丹：爱思唯尔。第14页（2000年；Zbl 0966.68020）
彼得·尼伯特；塞尔吉奥·尤文

计算化工厂多批次模式下的最优运行方案。 （英语） Zbl 0984.93061号

Lynch，Nancy（编辑）等人，《混合系统：计算和控制》。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1790, 338-351 (2000).
审核人：Ingmar Randvee（塔林）
MSC公司：93立方厘米 93元65角 93立方厘米83 90B30型 93个B03 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{P.尼伯特}和\textit{S.约文}，莱克特。注释计算。科学。1790、338--351（2000；Zbl 0984.93061）
Joseph S.米勒。

时间自动机和半线性混合自动机的可判定性和复杂性结果。 （英语） Zbl 0992.93050号

Lynch，Nancy（编辑）等人，《混合系统：计算和控制》。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1790, 296-309 (2000).
审核人：卡尔·海因茨·沃尔德曼（卡尔斯鲁厄）
MSC公司：93元65角 65年第68季度 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{J.S.Miller}，莱克特。注释计算。科学。1790年、296年至309年（2000年；兹bl 0992.93050）
托马斯·亨辛格（Thomas A.Henzinger）。；Jean-François拉斯金

定时和混合系统的鲁棒不确定性。 （英语） Zbl 0944.93018号

Lynch，Nancy（编辑）等人，《混合系统：计算和控制》。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1790, 145-159 (2000).
审核人：D.Franke（汉堡）
MSC公司：93立方 93元65角 65年第68季度 93C73号
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}和\textit{J.-F.Raskin}，莱克特。注释计算。科学。1790、145--159（2000；Zbl 0944.93018）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件