Skip to content
RDL
Network
Ecosystem
Switch app
TR
About
FAQ
Sign in
Get started
Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments — Ghalya Alwhishi (2023) | RDL Network
Back
Cite
Save
Save for later
Share
Home
Publications
Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments
Shared by
Witold Pedrycz
University of Alberta
Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environments
Article
2023
en
Authors
+2 more
GA
Ghalya Alwhishi
JB
Jamal Bentahar
AE
Ahmed Elwhishi
Discussion
(0)
Sign in
to like and join the discussion.
No comments yet. Be the first to comment.
Related publications
Preprint
2023
Multi-Valued Model Checking Iot and Intelligent Systems with Commitment Protocols in Multi-Source Data Environments
Ghalya Alwhishi
,
Jamal Bentahar
,
Ahmed Elwhishi
,
Witold Pedrycz
,
Nagat Drawel
Article
2024
MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment
Ghalya Alwhishi
,
Jamal Bentahar
,
Ahmed Elwhishi
,
Witold Pedrycz
Preprint
2023
Mv-Checker: A Software Tool for Multi-Valued Model Checking Intelligent Applications with Trust and Commitment
Ghalya Alwhishi
,
Jamal Bentahar
,
Ahmed Elwhishi
,
Witold Pedrycz
Article
2024
Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settings
Ghalya Alwhishi
,
Jamal Bentahar
,
Ahmed Elwhishi
,
Witold Pedrycz
Preprint
2024
Multi-Valued Verification of Commitment Systems with Uncertainty and Inconsistency in Multi-Source Data Settings
Ghalya Alwhishi
,
Jamal Bentahar
,
Ahmed Elwhishi
,
Witold Pedrycz
Discussion(0)
No comments yet. Be the first to comment.