Sign in
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
Published in:
Inf. Fusion (2024)
Keyphrases
</>
intelligent systems
multi source
model checking
multi valued
database
data sets
computational intelligence
information fusion
data analysis
data sources
temporal logic
multiple sources
artificial intelligence
markov chain
data integration
data fusion