Funder
Libya Ministry of Higher Education and Scientific Research
Khalifa University of Science, Technology and Research
Natural Sciences and Engineering Research Council of Canada
Concordia University
Ministry of Higher Education, Malaysia
Reference42 articles.
1. Reasoning about uncertainty over IoT systems;Alwhishi,2022
2. Verifying timed commitment specifications for IoT-cloud systems with uncertainty;Alwhishi,2022
3. Principles of model checking;Baier,2008
4. Reliability-driven automotive software deployment based on a parametrizable probabilistic model checking;Baouya;Expert Systems with Applications,2021
5. Multi-agent multi-criteria decision framework with interactive explanation tools;Brarda;Expert Systems with Applications,2023
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献