文章基本信息

标题：Formal modeling and analysis of complex software
本地全文：下载
作者：Faiza Belala ; Ramdane Maamri
期刊名称：Journal of King Saud University @?C Computer and Information Sciences
印刷版ISSN：1319-1578
出版年度：2020
卷号：32
期号：4
页码：385-386
DOI：10.1016/j.jksuci.2020.04.021
出版社：Elsevier