Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
菲利普·詹姆斯,法伦·莫勒,黄义恩(Hoang Nga Nguyen),马库斯·罗根巴赫,海伦·特雷哈恩,徐旺.OnTrack:铁路验证工具集-扩展摘要.在蒂齐安娜·马加里亚,伯恩哈德·斯特芬,编辑,利用形式方法的应用、验证和确认:讨论、传播、应用——第七届国际研讨会,2016年ISoLA,Imperial,Corfu,希腊,2016年10月10日至14日,会议记录,第二部分.第9953卷,共计算机科学课堂讲稿,页294-296,2016 [doi]
缺少摘要。