Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Abdelouahab Fortas
Institution:
Université Constantine 2
Observed institutions:
University of Jijel,
Université Constantine 2
ORCID:
0000-0002-9794-1696
Observed ORCID:
0000-0002-9794-1696
OpenAlex ID:
A5002483447
Formal verification of IoT applications using rewriting logic: An MDE-based approach
2022
·
Abdelouahab Fortas
, Elhillali Kerkouche
, et al.
·
Science of Computer Programming
·
16
Application of MDE in the Development of IoT Systems: A Simulation-Based Approach
2022
·
Abdelouahab Fortas
, Elhillali Kerkouche
, et al.
·
International Conference on Computer Communications and Intelligent Systems (I3CIS)
·
1
High-level petri nets based approach for designing and analyzing IoT systems
2025
·
Abdelouahab Fortas
, Elhillali Kerkouche
, et al.
·
Internet of Things
Réputation dans les systèmes pair-a-pair(p2p)
2014
·
Abdelouahab Fortas
, Abdelkamel Tari
, et al.
Show more works
View as search
Works count:
4
Citation count:
17
H-index:
1
I10-index:
1
Year
Topic
Type
