El-Fakih,哈立德;尼娜·叶夫图申科;纳塔利亚·库什克 非确定性有限状态机的自适应区分测试用例:测试用例推导和长度估计。 (英语) Zbl 1382.68134号 正式Asp。计算。 30,第2号,319-332(2018).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.El-Fakih}等人,《形式Asp》。计算。30,第2号,319--332(2018;Zbl 1382.68134) 全文: DOI程序
里卡多·西斯托;皮耶吉乌塞佩·贝塔萨·科佩特;阿瓦莱,马蒂奥;阿尔弗雷多·皮隆蒂 使用JavaSPI正式实现安全协议。 (英语) 兹比尔1382.68027 正式Asp。计算。 30,第2号,279-317(2018).MSC公司:68个M12 68第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Sisto}等人,正式Asp。计算。30,第2号,279--317(2018;Zbl 1382.68027) 全文: DOI程序 链接
佩德森,Jan B。;彼得·H·韦尔奇。 并发和验证的共生:教学和案例研究。 (英语) Zbl 1382.68144号 正式Asp。计算。 30,第2期,239-277(2018).MSC公司:60年第68季度 68问题85 97页20 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Pedersen}和\textit{P.H.Welch},正式Asp。计算。30,第2号,239--277(2018;Zbl 1382.68144) 全文: DOI程序
张慧;吴金钊 MPSoC数据动态的形式验证和定量度量。 (英语) Zbl 1382.68145号 正式Asp。计算。 30,第2期,219-237(2018).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{J.Wu},正式Asp。计算。30,第2号,219--237(2018;Zbl 1382.68145) 全文: DOI程序
李建文;张丽君;朱淑芳;浦、葛光;莫舍·瓦尔迪。;何继峰 一种用于LTL可满足性检查的显式转换系统构建方法。 (英语) 兹比尔1382.68142 正式Asp。计算。 30,第2期,193-217(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,正式Asp。计算。30,第2号,193--217(2018;Zbl 1382.68142) 全文: DOI程序