Abdessamad Jarrar

Orcid: 0000-0002-8792-7014

According to our database1, Abdessamad Jarrar authored at least 7 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A New Centralized Detection-Based Process for Evaluating Anomalies and Analyzing the First Causes Using Machine Learning and Web Semantic.
Int. J. Online Biomed. Eng., March, 2023

2021
The Semantic of Business Vocabulary and Business Rules: An Automatic Generation From Textual Statements.
IEEE Access, 2021

2020
Formal approach to model complex adaptive computing systems.
Complex Adapt. Syst. Model., 2020

2018
Formal modeling of a complex adaptive air traffic control system.
Complex Adapt. Syst. Model., 2018

Formal Reasoning for Air Traffic Control System Using Event-B Method.
Proceedings of the Computational Science and Its Applications - ICCSA 2018, 2018

2017
Modeling the Internet of Things System Using Complex Adaptive System Concepts.
Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems, 2017

Formal Specification and Verification of Transmission Control Protocol.
Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems, 2017


  Loading...