米歇尔·巴博;弗罗杜亚德·卡班扎;理查德·圣丹尼斯 一种用于综合控制器以处理安全性、活性和实时约束的方法。 (英语) Zbl 0986.93040号 IEEE传输。自动化。控制 43,第11期,1543-1559(1998). 审核人:T.Riismaa(塔林) MSC公司:93立方65 93亿B50 93C83号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Barbeau}等人,IEEE Trans。自动化。对照43,编号11543-1559(1998;Zbl 0986.93040) 全文: 内政部
贝拉德,贝特里奇;安托万·佩蒂特;沃尔克·迪克特;保罗·加斯丁 描述时间自动机中无声转换的表达能力。 (英语) Zbl 0930.68077号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 36,第2-3号,145-182(1998).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,Ann.Soc.Math。政策。,序列号。IV、 芬达姆。Inf.36,No.2--3,145--182(1998;Zbl 0930.68077)
尤金·亚萨林;奥德·马勒;阿米尔·普努利 时间自动机和数字电路中延迟的离散化。 (英语) Zbl 0933.94045号 Sangiorgi,Davide(编辑)等人,CONCUR’98。并发理论。第九届国际会议,法国尼斯,1998年9月8日至11日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1466, 470-484 (1998).MSC公司:94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,Lect。注释计算。科学。1466470-484(1998年;Zbl 0933.94045)
Di Gennaro,S。;喇叭,C。;库尔卡尼,S.R。;P.J.拉马奇。 减少定时混合系统。 (英语) Zbl 0916.93035号 离散事件动态。系统。 8,第4期,343-351(1998). 审核人:B.F.Šmarda(布尔诺) MSC公司:93立方 93B11号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Di Gennaro}等人,《离散事件动力学》。系统。8,第4号,343--351(1998;Zbl 0916.93035) 全文: 内政部
罗铁庚;陈火旺;王冰山;王、吉;龚正虎;齐志昌 分布式概率实时系统的验证自动机规范。 (英语) Zbl 0911.68146号 J.计算。科学。Technol公司。 13,第6号,588-596(1998).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Luo}等人,J.Compute。科学。技术。13,第6号,588--596(1998;Zbl 0911.68146) 全文: 内政部
菲利普·赫尔曼 时间自动机和可识别性。 (英语) Zbl 0925.68275号 信息处理。莱特。 65,No.6,313-318(1998).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Herrmann},Inf.流程。莱特。65,No.6,313--318(1998;Zbl 0925.68275) 全文: 内政部
圣埃芬·高伯特;Jean Mairesse女士 任务资源模型和((max,+))自动机。 (英语) Zbl 0896.68097号 Jeremy Gunawardena(编辑),Idempotency。基于研讨会,英国布里斯托尔,1994年10月3日至7日,剑桥:剑桥大学出版社。133-144 (1998).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaubert}和\textit{J.Mairesse},in:幂等性。基于1994年10月3日至7日在英国布里斯托尔举行的研讨会。剑桥:剑桥大学出版社。133——144(1998年;Zbl 0896.68097)