亚历山德罗·西马蒂（编辑）;马尔詹·西尔贾尼（编辑） 软件工程和形式化方法。2017年9月4日至8日在意大利特伦托举行的2017年SEFM第15届国际会议。诉讼程序。 （英语） Zbl 1369.68017号 计算机科学课堂讲稿10469.商会：施普林格出版社（ISBN 978-3-319-66196-4/pbk；978-3-319-66197-1/电子书）。xix，410页。(2017). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1346.68008号].索引文章：Anna Bernasconi；克劳迪奥·蒙吉（Claudio Menghi）；鲍拉·斯波莱蒂尼（Paola Spoletini）；Lenore D.Zuck。；卡洛·盖齐，从模型检查到部分模型的时间证明，54-69[Zbl 1420.68118号]劳拉·博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里（Angelo Montanari）；阿德里亚诺·佩隆，《用正则表达式对区间时态逻辑模型进行检查的深入研究》，104-119[Zbl 1420.68120号]玛丽·克里斯汀·雅各布斯，\（\mathrm）{零件}_{\mathrm{PW}}\）：从部分分析结果到证明证人，120-135[Zbl 1420.68130号]Raj Mohan，Matteplackel；帕里托什·K·潘迪亚。；阿莫尔·瓦坎卡尔，形式化离散时间演算中的时序图要求，253-268[Zbl 1420.68134号]佐丹奴·波罗；埃琳娜·德·桑提斯；迪·贝内代托，玛丽亚·多梅尼卡，关于公制系统的近似可诊断性，269-283[Zbl 1420.68025号] 引用于2评论引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68新元 软件理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1346.68008号 软件：伊吉特;RailCNL公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}（编辑）和\textit{M.Sirjani}（主编），软件工程和形式化方法。2017年9月4-8日在意大利特伦托举行的2017年SEFM第15届国际会议。诉讼程序。查姆：斯普林格（2017；Zbl 1369.68017） 全文： 内政部