洪伟江;陈振邦;杜一德;王，季 未解释程序的基于跟踪抽象的验证。 （英语） Zbl 1521.68078号 Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 545-562 (2021).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Hong}等人，Lect。注释计算。科学。13047、545--562（2021；Zbl 1521.68078） 全文： 内政部
于恒彪;陈振邦;黄、春;王，季 使用非确定性同步对MPI程序进行符号验证。 （英语） 兹比尔1503.68187 Pang，Jun（编辑）等，可靠软件工程。理论、工具和应用。第六届国际研讨会，SETTA 2020，中国广州，2020年11月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12153, 160-176 (2020).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Yu}等人，Lect。注释计算。科学。12153、160--176（2020年；Zbl 1503.68187） 全文： 内政部
张健;张超;宣继峰;熊英飞;王千祥;梁斌;李丽安;窦文胜;陈振邦;陈丽倩;蔡燕 程序分析的最新进展。 （中文。英文摘要） Zbl 1438.68028号 J.软件。 30，第1号，80-109（2019）.MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人，J.Softw。30，第1号，80--109（2019；Zbl 1438.68028） 全文： 内政部
陈振邦;刘志明;王，季 故障-聚合语义和长时间运行事务的细化。 （英语） Zbl 1279.68202号 西奥。计算。科学。 455, 31-65 (2012).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}等人，Theor。计算。科学。455、31-65（2012；Zbl 1279.68202） 全文： 内政部
陈振邦;刘志明 具有稳定故障语义的扩展cCSP。 （英语） Zbl 1286.68312号 Cavalcanti，Ana（编辑）等人，《计算的理论方面——ICTAC 2010》。2010年9月1日至3日，第七届国际学术讨论会，巴西北里奥格兰德州纳塔尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14807-1/pbk）。计算机科学讲稿6255121-136（2010）。MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}和\textit{Z.Liu}，Lect。注释计算。科学。6255121-136（2010年；Zbl 1286.68312） 全文： 内政部
陈振邦;刘志明;安德斯·拉文。;沃尔克·斯托尔茨;詹乃军 基于组件的模型驱动设计中的细化和验证。 （英语） 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.68053号 Pu，Geguang（编辑）等人，《利用理论为软件工具支持服务的第一届国际研讨会论文集》（TTSS 2007），中国澳门，2007年9月22日至23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记207，33-48（2008）。MSC公司：68纳米30 68问题55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ding}等人，《电子》。注释Theor。计算。科学。207、33-48（2008年；Zbl 1279.68053） 全文： 内政部
陈振邦;李晓山;刘志明;沃尔克·斯托尔茨;杨璐 利用rCOS提供工具支持–CoCoME经验。 （英语） Zbl 1151.68380号 Jones，Cliff B.（编辑）等人，《形式化方法和混合实时系统》。纪念迪内斯·比约纳和周朝晨70岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-75220-2/pbk）。计算机科学课堂讲稿4700，83-114（2007）。MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}等人，Lect。注释计算。科学。4700，83-114（2007年；兹比尔1151.68380） 全文： 内政部
Yu，W.C。;陈，Z.B。;徐世通（Hsu，W.T.）。;B.鲁克斯。;吕比莫娃，T.P。;兰，C.W。 角振动对垂直Bridgeman晶体生长中流动、偏析和界面形态的影响。 （英语） Zbl 1104.80014号 国际传热传质杂志 50，编号1-2，58-66（2007）.MSC公司：80A22型 80A20型 76R05型 PDF格式BibTeX公司 XML格式引用 \textit{W.C.Yu}等人，《国际传热传质杂志》50，No.1--2，58-66（2007；Zbl 1104.80014） 全文： 内政部 链接
陈振邦;王，季;董伟;齐志昌 面向服务的软件体系结构的接口模型。 （中文。英文摘要） Zbl 1100.68551号 J.软件。 17，第6期，1459-1469（2006）.MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}等人，J.Softw。17、第6号，1459--1469（2006；Zbl 1100.68551）
陈，Z.B。;布拉德肖，P。 翼型粘性跨音速流动的计算。 （英语） Zbl 0541.76081号 美国汽车协会J。 201-205年2月22日（1984年）.MSC公司：76小时05 76N20号 76M99型 PDF格式BibTeX公司 XML格式引用 \textit｛Z.B.Chen｝和\textit｛P.Bradshaw｝，AIAA J.2201-205（1984；Zbl 0541.76081） 全文： 内政部