×

找到9个文档(结果1-9)

离散时间Petri网的“真正并发”和非确定性语义。 (英语。俄文原件) Zbl 1451.68194号

程序。计算。柔和。 42,第4期,187-197(2016); 译自Programmirovanie 42,No.4,4-16(2016)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在一个使用oracle进行计算的应用程序上。 (英语。俄文原件) Zbl 1253.68089号

程序。计算。柔和。 36,第3期,157-165(2010); 译自Programmirovanie 36,No.3(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在REAL技术中实现MSC和SDL图的构造。 (英语。俄文原件) Zbl 1120.68395号

程序。计算。柔和。 33,第1号,24-33(2007); 译自Programmirovanie 33,No.1,35-50(2007)。
MSC公司:68N99型 68周05
PDF格式BibTeX公司 XML格式引用
全文: 内政部

作为参数化测试的验证(使用SCP4超级编译器的实验)。 (英语。俄文原件) 兹比尔1120.68383

程序。计算。柔和。 33,第1期,14-23页(2007年); 译自Programmirovanie 33,No.1,22-34(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

为解析器生成正测试和负测试。 (英语。俄文原件) Zbl 1115.68376号

程序。计算。柔和。 31,第6号,310-320(2005); 译自Programmirovanie 31,No.6,25-40(2005)。
MSC公司:68N20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对称参数化分布式系统的验证方法。 (英语。俄文原件) Zbl 1103.68025号

程序。计算。柔和。 31,第5期,225-236(2005); 译自Programmirovanie 31,No.5,3-17(2005)。
MSC公司:68米14
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

全部的 前5名

出版年份

主字段