胡军;于晓峰;张燕;李宣东;郑国良 基于组件的实时系统设计的基于场景的一致性验证。 (中文。英文摘要) Zbl 1096.68671号 J.软件。 17,第1期,48-58(2006).MSC公司:60年第68季度 65年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hu}等人,J.Softw。17,第1号,48--58(2006;Zbl 1096.68671)
严荣杰;李广元;徐玉波;刘春明;唐志松 有限精度时间自动机的可达性检验。 (中文。英文摘要) Zbl 1096.68086号 J.软件。 17,第1期,第1-10页(2006年).MSC公司:65年第68季度 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \文本{R.Yan}等人,J.Softw。17,编号1,1--10(2006;Zbl 1096.68086)