努诺州阿马利奥 健全和放松的行为遗传。 (英语) Zbl 1486.68037号 Adamatzky,Andrew(编辑)等人,从天体物理学到非常规计算。在苏珊·斯蒂芬尼60岁生日之际向她提交的论文。查姆:斯普林格。新兴复杂性。计算。35, 255-298 (2020).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Amálio},紧急情况复杂。计算。35255-298(2020;Zbl 1486.68037) 全文: 内政部 链接
维·肯登 反异类计算。 (英语) Zbl 1486.68074号 Adamatzky,Andrew(编辑)等人,从天体物理学到非常规计算。在苏珊·斯蒂芬尼60岁生日之际向她提交的论文。查姆:斯普林格。新兴复杂性。计算。35, 73-85 (2020).MSC公司:2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Kendon},Emerg.复杂。计算。35、73-85(2020年;Zbl 1486.68074) 全文: 内政部
拉米罗·德马西;巴勃罗·卡斯特罗。;托马斯·S·E·迈鲍姆。;纳扎雷诺·阿吉雷 容错仿真关系。 (英语) Zbl 1377.68044号 正式Asp。计算。 29,第6号,1013-1050(2017).MSC公司:68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Demasi}等人,《形式Asp》。计算。29,第6号,1013--1050(2017;Zbl 1377.68044) 全文: 内政部
理查德·巴纳赫;杰斯克,Czesław 精简与精化相互作用:塔式定理。 (英语) Zbl 1361.68056号 数学。结构。计算。科学。 25,第1期,135-202(2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{C.Jeske},数学。结构。计算。科学。25,编号1,135--202(2015;Zbl 1361.68056) 全文: 内政部
理查德·巴纳赫;朱慧彪;苏文;黄润磊 连续/离散建模界面上的连续KAOS、ASM和正式控制系统设计:简单的列车停车应用程序。 (英语) Zbl 1342.93065号 正式Asp。计算。 26,第2期,319-366(2014).MSC公司:93立方厘米 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}等人,《形式Asp》。计算。26,第2号,319--366(2014;Zbl 1342.93065) 全文: 内政部
理查德·巴纳赫;马可·波扎诺 通过缩减来机械生成反应系统的故障树。二、。时钟和反馈电路。 (英语) Zbl 1298.68051号 正式Asp。计算。 25,第4期,609-657(2013).MSC公司:68米15 68号30 94立方厘米 94C12号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{M.Bozzano},正式Asp。计算。25,第4号,609--657(2013;Zbl 1298.68051) 全文: 内政部
理查德·巴纳赫;马可·波扎诺 通过缩减来机械生成反应系统的故障树。I.组合电路。 (英语) Zbl 1298.68050号 正式Asp。计算。 25,编号4,573-607(2013).MSC公司:68米15 68号30 94立方厘米 94C12号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{M.Bozzano},正式Asp。计算。25,第4号,573--607(2013;Zbl 1298.68050) 全文: 内政部
付,郑;格雷姆·史密斯 规范变更下的属性转换。 (英语) Zbl 1267.68093号 前面。计算。科学。中国 5,第1期,第1-13页(2011年).MSC公司:68号30 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fu}和\textit{G.Smith},前面。计算。科学。中国5,No.1,1--13(2011;Zbl 1267.68093) 全文: 内政部
巴纳赫,R。;杰斯克,C。 通过简洁的默认精简实现简单的功能工程。 (英语) Zbl 1231.68106号 J.日志。阿尔盖布。程序。 80,第8期,453-480(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{C.Jeske},J.Log。阿尔盖布。程序。80,第8号,453--480(2011;Zbl 1231.68106) 全文: 内政部
史蒂夫·施耐德;海伦·特里哈恩 一致更改系统接口:CSP(\ | \)B的一种新的细化策略。 (英语) Zbl 1221.68062号 科学。计算。程序。 76,第10号,837-860(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}和\textit{H.Treharne},科学。计算。程序。76,No.10837--860(2011;Zbl 1221.68062) 全文: 内政部
理查德·巴纳赫 事件B的缩减:使用案例开发和罗丹集成。 (英语) 兹比尔1214.68129 正式Asp。计算。 23,第1期,113-131(2011).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach},正式Asp。计算。23,第1号,113--131(2011;Zbl 1214.68129) 全文: 内政部
拉尔夫·杰弗兹。;康斯坦斯·海特迈尔。;米拉·阿彻(Myla M.Archer)。;伊丽莎白·伦纳德。 使用合成和部分细化对关键系统进行基于模型的构建和验证。 (英语) Zbl 1209.68321号 形式方法系统。设计。 37,编号2-3,265-294(2010).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Jeffords}等人,《形式方法系统》。设计。37,编号2--3,265--294(2010;Zbl 1209.68321) 全文: 内政部
巴纳赫,R。;杰斯克,C。 更强的裁员成分。 (英语) Zbl 1209.68131号 J.日志。阿尔盖布。程序。 79,No.3-5,215-232(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{C.Jeske},J.Log。阿尔盖布。程序。79,编号3--5,215--232(2010;Zbl 1209.68131) 全文: 内政部
巴纳赫,R。;杰斯克,C。;波普尔顿,M。 紧缩的组成机制。 (英语) Zbl 1137.68037号 J.日志。阿尔盖布。程序。 75,第2期,209-229(2008).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}等人,J.Log。阿尔盖布。程序。75,第2号,209--229(2008;Zbl 1137.68037) 全文: 内政部 链接