帕斯卡·波扎特;格温·萨拉恩 基于开放组件的系统的适应。 （英语） Zbl 1202.68101号 Bonsange，Marcello M.（编辑）等人，开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日，第九届IFIP WG 6.1国际会议FMOODS 2007，塞浦路斯帕福斯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72919-8/pbk）。计算机科学课堂讲稿4468141-156（2007）。MSC公司：第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.Poizat}和\textit{G.Salaün}，莱克托。注释计算。科学。4468141-156（2007年；兹bl 1202.68101） 全文： 内政部
帕斯卡·波扎特;Jean-Claude罗耶;格温·萨拉恩 部件行为描述的有界分析和分解。 （英语） Zbl 1461.68037号 Gorrieri，Roberto（ed.）等人，开放式基于对象的分布式系统的形式化方法。第八届IFIP工作组6.1国际会议，2006年6月14日至16日，意大利博洛尼亚，FMOODS 2006。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。4037, 33-47 (2006).MSC公司：64岁以下 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛P.Poizat｝等人，Lect。注释计算。科学。4037、33-47（2006年；Zbl 1461.68037） 全文： 内政部
克里斯蒂安·阿提奥贝;帕斯卡·波扎特;格温·萨拉恩 状态图中正式数据类型的集成。 （英语） Zbl 1032.68107号 Pezzè，Mauro（编辑），《软件工程的基本方法》，2003年4月7日至11日在波兰华沙举行的第六届国际会议FASE 2003，该会议是关于软件理论和实践的欧洲联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2621, 341-355 (2003).MSC公司：第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Attiogbé}等人，Lect。注释计算。科学。2621341--355（2003年；Zbl 1032.68107） 全文： 链接