吉尔·巴特（编辑）;阿尔贝托·帕尔多（编辑）;杰拉尔多·施奈德（编辑） 软件工程和形式化方法。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。 （英语） Zbl 1225.68009号 计算机科学课堂讲稿7041.柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。xiv，504页。(2011). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。索引文章：本·哈菲德（Ben-Hafaiedh），伊梅内（Imene）；苏珊娜·格拉芙；内杰拉·马祖兹，具有多方交互和优先级的系统的分布式实现，38-57[Zbl 1350.68040号]约翰·博格斯特罗姆；黄树琴；马格纳斯·约翰逊；Palle Raabjerg；比约恩·维克多；奥曼·波霍拉，约翰内斯；约阿希姆·帕罗，广播psi-calculi和无线协议应用程序，74-89[Zbl 1350.68041号]巴勃罗·卡斯特罗。；Cecilia Kilmurray；阿科斯塔，阿拉塞利；纳扎雷诺·阿吉雷，dCTL：用于容错系统验证的分支时间时序逻辑，106-121[Zbl 1350.68181号]克雷斯波、胡安·曼努埃尔；塞萨尔·库茨，关系分离逻辑的机器选择框架，122-137[兹比尔1350.68059]德弗里斯，埃德斯科；瓦西里奥斯·库塔瓦斯，反向霍尔逻辑，155-171[Zbl 1349.03028号]安德烈亚斯·艾格斯（Andreas Eggers）；纳西姆·拉姆达尼；内迪亚科夫（Nedialkov）；马丁·范策尔，通过组合不同的封闭方法改进混合系统分析的SAT模ODE，172-187[Zbl 1350.68231号]伊利耶斯·法尔科内；穆罕默德·贾比尔；Nguyen，Thanh-Hung；马里乌斯·博兹加；萨德克·本萨勒姆，基于组件的系统的运行时验证，204-220[Zbl 1350.68060号]杰奎尔·梅拉尼；卡里姆·贝尔卡尼；戴维·德拉哈耶（David Delahaye）；凯瑟琳·杜布瓦，使用深度嵌入和自动定理证明验证B证明规则，253-268[Zbl 1350.68236号]亚历山大·马德拉；何塞·M·法里亚。；马丁斯（Manuel A.Martins）。；路易斯·巴博萨。，《反应系统的混合规范：制度方法》，269-285[Zbl 1350.68190号]拉杜·穆切维奇；何塞·普伦萨；克拉克、戴夫，软件产品线与功能网络的模块化建模，318-333[Zbl 1350.68063号]内达·诺鲁齐；Khosravi，Ramtin；穆萨维、穆罕默德·雷扎；Tim A.C.Willemse。，同步异步一致性测试，334-349[Zbl 1350.68048号]Siavash Soleimanifard；古罗夫，帝力；玛丽克·赫斯曼，ProMoVer:临时安全属性的模块化验证，366-381[Zbl 1350.68188号]雅普·伯恩德，组件系统优势的有效计算（短文），399-406[兹比尔1350.68058] 引用于1审查引用于2文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68新元 软件理论 00B25型 杂项特定利益的会议记录 软件：Coq公司;布吉;ProMoVer项目 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（2011；Zbl 1225.68009） 全文： 内政部