Nathalie Bertrand;Legay、Axel;苏菲·平奇纳特;让-巴蒂斯特·拉克勒 基于定时组件设计的模态事件块规范。 (英语) Zbl 1264.68053号 科学。计算。程序。 77,第12期,1212-1234(2012).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,科学。计算。程序。77,第12号,1212--1234(2012;Zbl 1264.68053) 全文: DOI程序
斯蒂芬妮·坎佩尔 基于SAT的定时组件连接器验证。 (英语) Zbl 1279.68212号 科学。计算。程序。 77,编号7-8,779-798(2012).MSC公司:60年第68季度 68T20型 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Kemper},科学。计算。程序。77,编号7--8,779--798(2012;Zbl 1279.68212) 全文: DOI程序
帕斯卡·弗雷德特;哈,Stéphane Hong Tuan 可用性方面。强制执行定时属性以防止拒绝服务。 (英语) Zbl 1211.68070号 科学。计算。程序。 75,第7期,516-542(2010).MSC公司:68甲19 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Fradet}和\textit{S.H.T.Ha},科学。计算。程序。75,编号7,516--542(2010;Zbl 1211.68070) 全文: DOI程序
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 在定时框架中设计和验证长时间运行的事务。 (英语) Zbl 1170.68024号 科学。计算。程序。 73,编号2-3,76-94(2008).MSC公司:65年第68季度 第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,科学。计算。程序。73,编号2--3,76-94(2008;Zbl 1170.68024) 全文: DOI程序
拜尔,克里斯特尔;马尔詹·西尔贾尼;法哈德·阿尔巴;简·拉特 通过约束自动机在Reo中建模组件连接器。 (英语) Zbl 1105.68058号 科学。计算。程序。 61,第2期,75-113(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,科学。计算。程序。61,No.2,75--113(2006;Zbl 1105.68058) 全文: DOI程序 链接