×

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

使用高级Petri网对SDL指定的通信协议进行建模和验证。 (英语。俄文原件) Zbl 1191.68444号

程序。计算。柔和。 34,第6号,330-340(2008); 译自Programmirovanie 34,No.6(2008)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

全部的 前5名

出版年份