卢西亚诺·席尔瓦;马塞尔·奥利维拉 使用VHDL自动生成经过验证的并发硬件。 (英语) Zbl 1528.68053号 利马,卢卡斯(编辑)等人,《形式方法:基础和应用》。第25届巴西研讨会,SBMF 2022,虚拟活动,2022年12月6日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13768, 55-72 (2022).MSC公司:68甲15 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Silva}和\textit{M.Oliveira},莱克特。注释计算。科学。13768,55-72(2022;Zbl 1528.68053) 全文: 内政部
佩德罗·里贝罗;安娜·卡瓦尔坎蒂;吉姆·伍德科克 连接理论的逐步方法。 (英语) Zbl 1483.68090号 Bowen,Jonathan P.(编辑)等人,《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10134134-154(2017年)。MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.Ribeiro}等人,Lect。注释计算。科学。10134、134--154(2017;Zbl 1483.68090) 全文: 内政部
安娜·卡瓦尔坎蒂;吉姆·伍德科克;努诺州阿马利奥 FMI协同模拟的行为模型。 (英语) Zbl 1482.68135号 Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9965, 255-273 (2016).MSC公司:60年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,Lect。注释计算。科学。9965,255-273(2016;Zbl 1482.68135) 全文: 内政部 链接
阿拉斯代尔·阿姆斯特朗;维克多·戈麦斯。;乔治·斯特鲁斯 根据代数原理构建程序构造和验证工具。 (英语) Zbl 1342.68066号 正式Asp。计算。 28,第2期,265-293(2016).MSC公司:68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Armstrong}等人,正式Asp。计算。28,第2号,265--293(2016;Zbl 1342.68066) 全文: 内政部
魏坤;吉姆·伍德科克 面向的代数语义马戏团时间. (英语) Zbl 1457.68071号 戴维·诺曼,《统一编程理论》。第五届国际研讨会,2014年UTP,新加坡,2014年5月13日。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。8963, 84-104 (2015).MSC公司:68号30 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Wei}和\textit{J.Woodcock},莱克特。注释计算。科学。8963,84-104(2015;Zbl 1457.68071) 全文: 内政部
泽达,弗兰克;安娜·卡瓦尔坎蒂 任务规划法。 (英语) Zbl 1331.68054号 正式Asp。计算。 第2号,第27页,第423-472页(2015年).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}和\textit{A.Cavalcanti},正式Asp。计算。27,第2号,423--472(2015;Zbl 1331.68054) 全文: 内政部 链接
安娜·卡瓦尔坎蒂;玛丽·克劳德·高德尔 测试轨迹细化的选择。 (英语) Zbl 1302.68086号 西奥。计算。科学。 563, 1-42 (2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}和\textit{M.-C.Gaudel},Theor。计算。科学。563,1--42(2015;Zbl 1302.68086) 全文: 内政部
博斯特罗姆,蓬图斯;弗雷德里克·德格伦德;塞雷,凯萨;瓦尔登,玛丽娜 通过Event-B模型的逐步调度导出并发程序。 (英语) Zbl 1342.68056号 正式Asp。计算。 26,第2期,281-303(2014).MSC公司:68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Boström}等人,正式Asp。计算。26,第2281-303号(2014年;兹bl 1342.68056) 全文: 内政部
班克斯,迈克尔·J。;杰里米·雅各布。 在正式方法中集成机密性和功能性。 (英语) Zbl 1342.68191号 正式Asp。计算。 26,第5期,963-992(2014).MSC公司:第68季度55 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Banks}和\textit{J.L.Jacob},正式Asp。计算。26,第5号,963--992(2014;Zbl 1342.68191) 全文: 内政部
魏坤;吉姆·伍德科克;安娜·卡瓦尔坎蒂 马戏团时间采用反应式设计。 (英语) 兹比尔1452.68057 Wolff,Burkhart(编辑)等人,《统一编程理论》。第四届国际研讨会,2012年UTP,2012年8月27日至28日,法国巴黎。修订了选定的论文。柏林:斯普林格。莱克特。注释计算。科学。7681, 68-87 (2013).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Wei}等人,Lect。注释计算。科学。7681,68--87(2013;Zbl 1452.68057) 全文: 内政部
安娜·卡瓦尔坎蒂;泽达,弗兰克;安迪·威林斯;吉姆·伍德科克;魏坤 安全关键型Java程序马戏团模型。 (英语) Zbl 1285.68037号 实时系统。 49,第5期,614-667(2013).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,实时系统。49,No.5,614--667(2013;Zbl 1285.68037) 全文: 内政部
马塞尔·奥利维拉;安娜·卡瓦尔坎蒂;吉姆·伍德科克 统一Pro-Power-Z中的理论。 (英语) Zbl 1259.68035号 正式Asp。计算。 2013年第133-158号第25页.MSC公司:68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Oliveira}等人,正式Asp。计算。25,第1号,133--158(2013;Zbl 1259.68035) 全文: 内政部
阿尔瓦罗宫泽;安娜·卡瓦尔坎蒂 面向细化的状态流程图模型。 (英语) Zbl 1243.68152号 科学。计算。程序。 77,第10-11号,1151-1177(2012).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Miyazawa}和\textit{A.Cavalcanti},科学。计算。程序。77,No.10--111151--1177(2012;Zbl 1243.68152) 全文: 内政部
泽达,弗兰克;安娜·卡瓦尔坎蒂 关于UTP理论家族的机械推理。 (英语) Zbl 1243.68270号 科学。计算。程序。 77,第4期,444-479(2012).MSC公司:68吨15 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}和\textit{A.Cavalcanti},科学。计算。程序。77,第4号,444--479(2012;Zbl 1243.68270) 全文: 内政部
安娜·卡瓦尔坎蒂;玛丽·克劳德·高德尔 测试中的精细化马戏团. (英语) Zbl 1237.68059号 学报信息。 48,第2期,97-147(2011).MSC公司:68号30 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}和\textit{M.-C.Gaudel},《学报》第48期,第2期,第97-147页(2011年;Zbl 1237.68059) 全文: 内政部
安娜·卡瓦尔坎蒂;菲尔·克莱顿;科林·奥哈洛兰 从控制律图到Ada,通过马戏团. (英语) Zbl 1226.68028号 正式Asp。计算。 23,第4期,465-512(2011).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,《正式Asp》。计算。23,第4号,465--512(2011;Zbl 1226.68028) 全文: 内政部
马塞尔·奥利维拉;泽达,弗兰克;安娜·卡瓦尔坎蒂 一种用于细化状态丰富并发规范的策略语言。 (英语) Zbl 1218.68101号 科学。计算。程序。 76,第9期,792-833(2011).MSC公司:60年第68季度 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Oliveira}等人,科学。计算。程序。76,第9号,792--833(2011;Zbl 1218.68101) 全文: 内政部
泽达,弗兰克;安娜·卡瓦尔坎蒂 自动完善Circus程序。 (英语) Zbl 1325.68163号 Davies,Jim(ed.)等人,《形式方法:基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会,SBMF 2010。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-19828-1/pbk)。计算机科学课堂讲稿6527274-290(2011)。MSC公司:68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}和\textit{A.Cavalcanti},莱克特。注释计算。科学。6527274--290(2011年;Zbl 1325.68163) 全文: 内政部
艾伦·伯恩斯;伊恩·海耶斯。 实时系统建模的时间段框架。 (英语) Zbl 1197.68032号 实时系统。 45,编号1-2,106-142(2010).MSC公司:68M99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Burns}和\textit{I.J.Hayes},实时系统。45,编号1--2,106-142(2010;Zbl 1197.68032) 全文: 内政部 链接
阿德南·谢里夫;安娜·卡瓦尔坎蒂;何继峰;奥古斯托·桑帕约 实时系统规范和验证的过程代数框架。 (英语) Zbl 1214.68224号 正式Asp。计算。 22,第2期,153-191(2010).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Sherif}等人,正式Asp。计算。22,第2号,153--191(2010;Zbl 1214.68224) 全文: 内政部 哈尔
泽达,弗兰克;安娜·卡瓦尔坎蒂 关于UTP理论家族的机械推理。 (英语) Zbl 1347.68098号 Machado,Patricia D.L.(编辑),第11届巴西正式方法研讨会论文集(SBMF 2008)2008年8月26日至29日,巴西萨尔瓦多。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记240,239-257(2009)。MSC公司:68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}和\textit{A.Cavalcanti},电子。注释Theor。计算。科学。240、239--257(2009年;Zbl 1347.68098) 全文: 内政部
安娜·卡瓦尔坎蒂 Circus中的状态流图。 (英语) Zbl 1347.68074号 Patricia D.L.Machado(编辑),第十一届巴西正式方法研讨会论文集(SBMF 2008)2008年8月26日至29日,巴西萨尔瓦多。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》240,23-41(2009)。MSC公司:68号30 第68季度55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti},电子。注释Theor。计算。科学。240、23-41(2009年;Zbl 1347.68074) 全文: 内政部
陈春青;董金松;孙骏 用于建模和验证simulink图的正式框架。 (英语) Zbl 1192.68438号 正式Asp。计算。 21,第5期,451-483(2009).MSC公司:68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Chen}等人,正式Asp。计算。21,第5号,451--483(2009;Zbl 1192.68438) 全文: 内政部 链接
马塞尔·奥利维拉;安娜·卡瓦尔坎蒂;吉姆·伍德科克 的UTP语义马戏团. (英语) Zbl 1165.68048号 正式Asp。计算。 21,编号1-2,3-32(2009).MSC公司:68问题65 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Oliveira}等人,正式Asp。计算。21,编号1--2,3--32(2009;Zbl 1165.68048) 全文: 内政部
陈振邦;刘志明;安德斯·雷文(Anders P.Ravn)。;沃尔克·斯托尔茨;詹乃军 基于组件的模型驱动设计中的细化和验证。 (英语) Zbl 1178.68158号 科学。计算。程序。 74,第4期,168-196(2009).MSC公司:68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}等人,科学。计算。程序。74,第4号,168--196(2009;Zbl 1178.68158) 全文: 内政部
曼努埃拉·泽维尔;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 类型检查马戏团规范。 (英语) Zbl 1279.68271号 Moreira,Anamaria Martins(编辑)等人,《巴西正式方法研讨会论文集》(SBMF 2006),Natal,Rio Grande de Norte,巴西,2006年9月17日至23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记195,75-93(2008)。MSC公司:68问题85 68甲15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Xavier}等人,《电子》。注释Theor。计算。科学。195、75-93(2008年;Zbl 1279.68271) 全文: 内政部
迈克尔·默勒;奥尔德罗格(Ernst-Rüdiger Olderog);霍尔格·拉什;海克·卫尔海姆 使用UML和Java将形式化方法集成到软件工程过程中。 (英语) Zbl 1141.68024号 正式Asp。计算。 20,第2期,161-204(2008).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Möller}等人,正式Asp。计算。20,第2号,161--204(2008;Zbl 1141.68024) 全文: 内政部
安娜·卡瓦尔坎蒂;吉姆·伍德科克;史蒂夫·邓恩 程序设计统一理论中的天使般的不确定性。 (英语) Zbl 1105.68012号 正式Asp。计算。 第3288-307号第18页(2006年).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,《正式Asp》。计算。18,第3号,288--307(2006;Zbl 1105.68012) 全文: 内政部 链接