斯蒂芬·布鲁克斯;O'Hearn,Peter W。;乌代·雷迪 雷诺兹的精髓。 (英文) Zbl 1342.01029号 正式Asp。计算。 26,第3期,435-439(2014).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{S.Brookes}等人,正式Asp。计算。26,第3号,435--439(2014;Zbl 1342.01029) 全文: 内政部
Manoj G.迪克西特。;拉梅什,S。;帕拉布·达斯古普塔 时间预算:一种基于组件的实时嵌入式系统开发方法。 (英文) 兹比尔1342.68042 正式Asp。计算。 26,第3期,591-621(2014).MSC公司:68平方米 68米14 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Dixit}等人,《形式语法》。计算。26,第3号,591--621(2014;Zbl 1342.68042) 全文: 内政部
布里杰什·多戈尔;伊恩·海耶斯。;彼得·罗宾逊。 关于目标导向的实时远程反应程序的推理。 (英文) 兹比尔1342.68060 正式Asp。计算。 26,第3期,563-589(2014).MSC公司:68甲19 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,《正式Asp》。计算。26,第3号,563--589(2014;Zbl 1342.68060) 全文: 内政部 链接
卡德,莫菲;米歇尔·塞维格纳尼 使用共享随机双图对IEEE 802.11 CSMA/CA RTS/CTS进行建模。 (英文) Zbl 1342.68205号 正式Asp。计算。 26,第3期,537-561(2014).MSC公司:60年第68季度 68个M12 87年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Calder}和\textit{M.Sevegnani},正式Asp。计算。26,第3号,537--561(2014;Zbl 1342.68205) 全文: 内政部
罗伯特·J·科尔文。 基于类层次结构的面向对象概念的操作语义。 (英文) Zbl 1342.68057号 正式Asp。计算。 26,第3期,491-535(2014).MSC公司:68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin},正式Asp。计算。26,第3号,491--535(2014;Zbl 1342.68057) 全文: 内政部
西德尼·诺盖拉;奥古斯托·桑帕约;亚历山大·莫塔 从基于状态的用例模型生成测试。 (英文) Zbl 1342.68210号 正式Asp。计算。 26,第3期,441-490(2014).MSC公司:60年第68季度 68问题85 68T05型 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{S.Nogueira}等人,正式Asp。计算。26,编号3,441-490(2014年;兹bl 1342.68210) 全文: 内政部