Chane-Yack-Fa,拉斐尔;马克·弗拉皮耶;阿梅尔·曼玛;阿兰·芬克尔 单调信息系统的参数化验证。 (英语) Zbl 1398.68334号 正式Asp。计算。 30,编号3-4,463-489(2018).MSC公司:第68季度第60季度 68问题85 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{R.Chane-Yack-Fa}等人,正式Asp。计算。30,编号3--4,463--489(2018;Zbl 1398.68334) 全文: 内政部 哈尔
靖亚萍;安德鲁·米纳(Andrew S.Miner)。 计算树度量语言(CTML)。 (英语) Zbl 1398.68344号 正式Asp。计算。 30,编号3-4,443-462(2018).MSC公司:第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Jing}和\textit{A.S.Miner},正式Asp。计算。30,编号3--4,443--462(2018;Zbl 1398.68344) 全文: 内政部
鲍玉燕;Gary T.Leavens。;吉登·恩斯特 统一分离逻辑和区域逻辑以实现互操作性。 (英语) Zbl 1398.68091号 正式Asp。计算。 30,编号3-4,381-441(2018).MSC公司:68号30 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bao}等人,正式Asp。计算。30,编号3--4,381--441(2018;Zbl 1398.68091) 全文: 内政部
史玲;赵永新;刘,杨;孙骏;董金松;秦胜超 一种UTP语义,用于与共享变量通信进程及其在PVS中的形式编码。 (英语) 兹比尔1398.68373 正式Asp。计算。 30,编号3-4,351-380(2018).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Shi}等人,《形式语法》。计算。30、编号3--4、351--380(2018;Zbl 1398.68373) 全文: 内政部 链接
菲利佩·桑托斯;Krystian Kwiecinski;阿纳州阿尔梅达;萨拉·埃洛伊;布鲁诺·塔博达 替代成形器:用于自动生成设计的模型。 (英语) Zbl 1398.68282号 正式Asp。计算。 30,编号3-4,333-349(2018).MSC公司:2012年第68季度 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{F.Santos}等人,正式Asp。计算。30,编号3--4,333--349(2018;Zbl 1398.68282) 全文: 内政部 链接