迭戈·拉特拉;伊斯特万·马齐克;梅克·马西克 使用SPIN模型检查器自动验证UML状态图的行为子集。 (英语) Zbl 0966.68124号 正式Asp。计算。 11,第6期,637-664(1999).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Latella}等人,正式Asp。计算。11,第6号,637--664(1999;Zbl 0966.68124) 全文: 内政部
H·鲍曼。;法孔蒂,G。;J.-P.卡托恩。;拉特拉,D。;马森克,M。 使用UPPAAL自动验证lip同步协议。 (英语) Zbl 0951.68533号 正式Asp。计算。 10,第5-6号,550-575(1998).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}等人,正式Asp。计算。10,编号5-61550-575(1998年;Zbl 0951.68533) 全文: 内政部 链接
斯特凡妮娅·格内西(编辑);迭戈·拉特拉(编辑) 工业关键系统的形式化方法。第二届国际研讨会论文集,1997年7月4日至5日,意大利切塞纳。 (英语) Zbl 0924.00043号 正式Asp。计算。 10,第4期,311-434(1998).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{S.Gnesi}(编辑)和\textit{D.Latella}(主编),正式Asp。计算。10,第4号,311--434(1998;Zbl 0924.00043) 全文: 内政部