OnTrack:铁路验证工具集-扩展摘要

菲利普·詹姆斯,法伦·莫勒,黄义恩(Hoang Nga Nguyen),马库斯·罗根巴赫,海伦·特雷哈恩,徐旺.OnTrack:铁路验证工具集-扩展摘要.蒂齐安娜·马加里亚,伯恩哈德·斯特芬,编辑,利用形式方法的应用、验证和确认:讨论、传播、应用——第七届国际研讨会,2016年ISoLA,Imperial,Corfu,希腊,2016年10月10日至14日,会议记录,第二部分.第9953卷,共计算机科学课堂讲稿,页294-296,2016 [doi]

摘要

缺少摘要。