阿内萨·卡西姆。 移动物体监测区域动态情况的合成屏幕图像的形式化模型及其在面向web的地理信息系统中的实现。 （英语。俄文原件） 兹比尔1366.68351 赛博。系统。分析。 53，第1期，125-137（2017）; 翻译自Kibern。修女。分析。2017年第1期，第145-159页（2017年）。MSC公司：68单位10 68英里11 68T45型 68单位35 PDF格式BibTeX公司 XML格式引用 \文本{A.M.Qasem}，Cybern。系统。分析。53，第1号，第125-137条（2017；Zbl 1366.68351）；翻译自Kibern。修女。分析。2017年第1期，145--159（2017） 全文： 内政部
米歇尔·布格列西;斯特凡诺·卡尔扎瓦拉;里卡多·福卡迪 web安全的形式化方法。 （英语） Zbl 1359.68021号 J.日志。阿尔盖布。方法计划。 87, 110-126 (2017).MSC公司：68英里11 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，J.Log。阿尔盖布。方法计划。87、110-126（2017；Zbl 1359.68021） 全文： 内政部 链接