王,于;尤亚尔,M.U。;萨姆拉特·巴思。;Mariusz A.Fecko。 定时EFSM模型中多个定时故障的故障屏蔽。 (英语) Zbl 1178.68091号 计算。净值。 53,第5号,596-612(2009).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人,计算。Netw公司。53,第5号,596--612(2009;Zbl 1178.68091) 全文: 内政部
巴思,S.S。;E.R.维埃拉。;A.卡瓦利。;尤亚尔,M.U。 SDL中定时EFSM故障模型的规范。 (英语) Zbl 1215.68126号 Derrick,John(编辑)等人,《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73195-5/pbk)。计算机科学课堂讲稿4574,50-65(2007)。MSC公司:60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Batth}等人,Lect。注释计算。科学。4574,50-65(2007;Zbl 1215.68126) 全文: 内政部