2020 4th International Symposium on Informatics and its Applications (ISIA)
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By IEEE

9781728196527
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalization and Refinement Proof for Embedded Systems

2020 ◽  
Author(s):  
Asma Bezza ◽  
Elkamel Merah ◽  
Rabea Ameur-Boulifa ◽  
Rohallah Benaboud ◽  
Toufik Messaoud Maarouk
Keyword(s):  
Embedded Systems

Towards Service Ontology for Web Services Storage and Discovery

2020 ◽  
Author(s):  
Moussa Kaouan ◽  
Djelloul Bouchiha ◽  
Sidi Mohamed Benslimane ◽  
Sofiane Boukli-Hacene
Keyword(s):  
Web Services ◽  
Service Ontology

A technique for developping mobile applications

2020 ◽  
Author(s):  
Aissa ElMahdi Bourahla ◽  
Mustapha Bourahla
Keyword(s):  
Mobile Applications
Load More ...
Sign in / Sign up

Export Citation Format

Share Document