阿里·卡西姆;伊利耶斯·法尔科内;帕斯卡·拉福卡德 电子考试的正式分析和离线监控。 (英语) Zbl 1370.68205号 形式方法系统。设计。 51,编号117-153(2017).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kassem}等人,《形式方法系统》。设计。51,第1号,117--153(2017;Zbl 1370.68205) 全文: DOI程序 哈尔
埃齐奥·巴托奇(编辑);鲁帕克·马朱姆达尔(编辑) 介绍运行时验证的特殊问题。 (英语) Zbl 1372.00088号 形式方法系统。设计。 51,第1号,1-4号(2017).MSC公司:00B25型 68-06 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}(编辑)和\textit{R.Majumdar}(主编),《形式方法系统》。设计。51,编号1,1--4(2017;Zbl 1372.00088) 全文: DOI程序