1.Mapping UML 2.0 Activities to Zero-Safe Nets

作　　者：Sabine Boufenara ;Faiza Belala ;Kamel Barkaoui

出　　处：Journal of Software Engineering and Applications. 2010 ;3(5):426-435.doi:10.4236/jsea.2010.35048

出版社：Scientific Research Publishing

文章 ID：30893640

文章详细全文下载
2.A Tile Logic Based Approach for Software Architecture Description Analysis

作　　者：Aïcha Choutri ;Faiza Belala ;Kamel Barkaoui

出　　处：Journal of Software Engineering and Applications. 2010 ;3(11):1067-1079.doi:10.4236/jsea.2010.311126

出版社：Scientific Research Publishing

文章 ID：30893718

文章详细全文下载
3.A formal quantitative analysis of elastic cloud systems based on PSMaude

作　　者：Chafia Bouanaka ;Esma Maatougui ;Faiza Belala 等

出　　处：Journal of King Saud University @?C Computer and Information Sciences. 2020 ;32(4):387-397.doi:10.1016/j.jksuci.2019.11.008

出版社：Elsevier

文章 ID：249077905

文章详细全文下载
4.Formal modeling and analysis of complex software

作　　者：Faiza Belala ;Ramdane Maamri

出　　处：Journal of King Saud University @?C Computer and Information Sciences. 2020 ;32(4):385-386.doi:10.1016/j.jksuci.2020.04.021

出版社：Elsevier

文章 ID：249077908

文章详细全文下载
5.A Strategy-Based Formal Approach for Fog Systems Analysis

作　　者：Souad Marir ;Faiza Belala ;Nabil Hameurlain

出　　处：Future Internet. 2022 ;14(2):52.doi:10.3390/fi14020052

出版社：MDPI Publishing

文章 ID：1037006583

文章详细

	有本地全文	4篇
	有全文链接	1篇

	Nabil Hameurlain	1篇
	Nadia Zeghib	1篇
	Ramdane Maamri	1篇
	Sabine Boufenara	1篇
	Souad Marir	1篇

	沙特阿拉伯	2篇
	美国	2篇
	瑞士	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Faiza Belala")))) )) ) )"

	Faiza Belala	5篇
	Kamel Barkaoui	2篇
	Aïcha Choutri	1篇
	Chafia Bouanaka	1篇
	Esma Maatougui	1篇

	Journal of King Saud University @?C Computer and Information Sciences	2篇
	Journal of Software Engineering and Applications	2篇
	Future Internet	1篇

	2022	1篇
	2020	2篇
	2010	2篇