Virbitskaite,I.B.公司。;汉斯·弗利什哈克;安娜·德多娃 带参数的优先时间Petri网的基于实时算法的验证。 (英语) Zbl 1374.68345号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31, 179-193 (2010).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.B.Virbitskaite}等人,Jt。牛市。NCC IIS,序列号。计算。科学。31179--193(2010年;Zbl 1374.68345) 全文: 链接
I.V.塔拉修克。 dtsPBC的性能保持等价项。 (英语) Zbl 1374.68343号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31, 155-178 (2010).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Tarasyuk},Jt。牛市。NCC IIS,序列号。计算。科学。31155--178(2010年;Zbl 1374.68343) 全文: 链接
新墨西哥州希洛夫。;E.V.博丹。;Shilova,S.O。 F@BOOL@内的引导之旅:基于SAT的验证编译器的案例研究。 (英语) Zbl 1374.68109号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31, 139-154 (2010).MSC公司:68N20型 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Shilov}等人,Jt。牛市。NCC IIS,序列号。计算。科学。31139--154(2010年;Zbl 1374.68109) 全文: 链接
A.V.普罗姆斯基。 C内核的错误跟踪公理语义。 (英语) Zbl 1374.68115号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31, 123-138 (2010).MSC公司:68号30 03B70号 68甲19 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Promsky},Jt。牛市。NCC IIS,序列号。计算。科学。31123--138(2010年;Zbl 1374.68115) 全文: 链接
格里博夫斯卡娅,N.S。 对于具有不变量的时间转移系统,时间倒刺互模拟是可判定的。 (英语) Zbl 1374.68330号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31, 65-90 (2010).MSC公司:68问题85 18B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Gribovskaya},Jt。牛市。NCC IIS,序列号。计算。科学。31、65-90(2010年;Zbl 1374.68330) 全文: 链接
Bozhenkova,E.N。 表征时间事件结构的合成方法。 (英语) Zbl 1374.68321号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31, 45-64 (2010).MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.N.Bozhenkova},Jt。牛市。NCC IIS,序列号。计算。科学。31、45-64(2010年;Zbl 1374.68321) 全文: 链接
Z.V.阿帕诺维奇。;维诺库罗夫,P.S。 基于本体的门户的可视化组件的扩展,带有可视化分析工具。 (英语) Zbl 1374.68715号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 31, 17-28 (2010).MSC公司:68单位35 05C82号 68兰特 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.V.Apanovich}和\textit{P.S.Vinokurov},Jt。牛市。NCC IIS,序列号。计算。科学。31、17-28(2010年;Zbl 1374.68715) 全文: 链接
安努列夫,I.S。 原子语言简介。 (英语) Zbl 1374.68267号 Jt.(约)。牛市。NCC IIS,序列号。计算。科学。 2010年1月31日至16日.MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev},Jt。牛市。NCC IIS,序列号。计算。科学。31,1-16(2010年;兹bl 1374.68267) 全文: 链接