克里斯蒂安·布鲁内特;Jean-Pierre塔宾;阿卜杜拉耶·加马蒂;蒂埃里·戈蒂埃 多时系统设计的元模型。 (英语) Zbl 1183.68282号 J.日志。阿尔盖布。程序。 78,第4期,233-259(2009).MSC公司:2010年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Brunette}等人,J.Log。阿尔盖布。程序。78,第4号,233--259(2009;Zbl 1183.68282) 全文: 内政部
拉杰夫·阿鲁尔;阿伦州Chandrashekharapuram 嵌入式控制模型的调度序列。 (英语) Zbl 1178.68095号 J.计算。系统。科学。 73,第2期,156-170(2007).MSC公司:68平方米 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{A.Chandrashekharapuram},J.Compute。系统。科学。73,第2号,156--170(2007;Zbl 1178.68095) 全文: 内政部