Messaouda Bouneb;贾梅尔·埃丁·赛杜尼;让-米歇尔·伊利 递归Petri网的简化最大值标记转换系统生成。 (英语) Zbl 1347.68256号 正式Asp。计算。 27,编号5-6,951-973(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bouneb}等人,正式Asp。计算。27、编号5--6951--973(2015;Zbl 1347.68256) 全文: 内政部
奥马尔·巴泰内;马克·雷诺兹;法语,蒂姆 加速具有循环行为的时间自动机模型的最坏情况执行时间分析。 (英语) Zbl 1328.68108号 正式Asp。计算。 27,编号5-6,917-949(2015).MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Al-Bataineh}等人,正式Asp。计算。27,编号5--6917--949(2015;Zbl 1328.68108) 全文: 内政部
佩雷拉·帕斯夸林,道格拉斯;朱利安娜·凯泽·维佐托;爱德华多·凯斯勒·皮维塔 普及应用程序的类型化上下文感知环境演算。 (英语) Zbl 1347.68271号 正式Asp。计算。 27,编号5-6,885-916(2015).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pereira Pasqualin}等人,正式Asp。计算。27、编号5--6885--916(2015;Zbl 1347.68271) 全文: 内政部
多梅尼科·罗萨奇 在分层结构的web数据组中查找语义关联。 (英语) Zbl 1328.68021号 正式Asp。计算。 27,编号5-6,867-884(2015).MSC公司:68米11 68第05页 68问题55 68立方英尺 68层35 PDF格式BibTeX公司 XML格式引用 \textit{D.Rosaci},正式Asp。计算。27,编号5--6867--884(2015;Zbl 1328.68021) 全文: 内政部
巴勃罗·卡斯特罗。;纳扎雷诺·阿吉雷;卡洛斯·邦博。;迈鲍姆,T.S.E。 \(\mathsf{Z}\)中结构化规范的分类基础。 (英语) Zbl 1385.68023号 正式Asp。计算。 27,编号5-6,831-865(2015). 审核人:拉兹万·迪亚科内斯库(普洛耶什蒂) MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.F.Castro}等人,《正式Asp》。计算。27、编号5--6831--865(2015;Zbl 1385.68023) 全文: 内政部
拉希德·热比哈;维埃拉·莫拉(Vieira Moura,Arnaldo);纳迪尔·马特林格 用线性代数方法生成非线性回路的不变量。 (英语) Zbl 1347.68093号 正式Asp。计算。 27,编号5-6,805-829(2015).MSC公司:68号30 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Rebiha}等人,《正式Asp》。计算。27、编号5--6、805--829(2015;Zbl 1347.68093) 全文: 内政部
玛丽亚姆·达巴奇安;穆罕默德·阿卜杜拉希·阿兹戈米 使用PROMELA和SPIN检查观测确定性安全性的模型。 (英语) Zbl 1347.68222号 正式Asp。计算。 27,编号5-6,789-804(2015).MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Dabaghchian}和\textit{M.Abdollahi Azgomi},正式Asp。计算。27、编号5--6、789--804(2015;Zbl 1347.68222) 全文: 内政部
Polyvyany,Artem公司;马塞洛·拉罗莎;欧阳春;阿瑟·霍夫斯泰德。 解联:一种分析并发系统的新方法。 (英语) Zbl 1347.68272号 正式Asp。计算。 27,编号5-6,753-788(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Polyvyany}等人,《正式Asp》。计算。27号5--6753--788(2015;Zbl 1347.68272) 全文: 内政部 链接