Cited By
View all- Bouheroum ABenmerzoug DHemam SBelala F(2025)A Multidimensional Approach for Formal Modeling and Analyzing Medical Cyber-Physical SystemsEngineering, Technology & Applied Science Research10.48084/etasr.964615:1(20211-20221)Online publication date: 2-Feb-2025
- Aboualola MAbualsaud KKhattab TZorba NHassanein H(2023)Edge Technologies for Disaster Management: A Survey of Social Media and Artificial Intelligence IntegrationIEEE Access10.1109/ACCESS.2023.329303511(73782-73802)Online publication date: 2023
- Raj PKar S(2023)Actors@BIM: A Hybrid Formal Model for Cognitive BuildingsFormal Methods in Architecture10.1007/978-981-99-2217-8_26(453-477)Online publication date: 2-Aug-2023
- Show More Cited By