Alotaibi, Fahad
12  results:
Search for persons X
?
1

Event-B Development of Modelling Human Intervention Request..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
 
?
2

Microbial Biomass and Enzymatic Activity in the Rhizosphere..:

, In: Recent Advances in Environmental Science from the Euro-Mediterranean and Surrounding Regions (4th Edition); Advances in Science, Technology & Innovation,
Alotaibi, Khaled ; Alotaibi, Fahad ; Aloud, Saud. - p. 451-455 , 2024
 
?
3

Designing Critical Systems Using Hierarchical STPA and Even..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
 
?
5

A Rigorous Iterative Analysis Approach for Capturing the Sa..:

, In: 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC),
Alotaibi, Fahad ; Son Hoang, Thai ; Butler, Michael - p. 1697-1702 , 2023
 
?
6

Contributors:

, In: Abiotic Stresses in Wheat,
Adhikary, Saju ; Afroz, Nadia ; Agarwal, Disha... - p. xiii-xvii , 2023
 
?
7

High-Level Rigorous Template for Analysing Safety Propertie..:

, In: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC),
Alotaibi, Fahad ; Hoang, Thai Son ; Butler, Michael - p. 1643-1648 , 2022
 
?
8

Improving Trustworthiness of Self-driving Systems:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,
Alotaibi, Fahad - p. 405-408 , 2020
 
?
9

Post Summarization of Microblogs of Sporting Events:

, In: Proceedings of the 26th International Conference on World Wide Web Companion,
 
?
10

Challenges in Developing Sustainable Infrastructure Case Hi..:

, In: Lecture Notes in Civil Engineering; Advances in Transportation Geotechnics IV,
 
?
11

Distributed orthogonal space-time coding with relay selecti..:

, In: 2011 6th International Conference on Telecommunication Systems, Services, and Applications (TSSA),
 
?
12

Automated prediction of Coronary Artery Disease using Rando..:

, In: 2020 International Conference on Advanced Computer Science and Information Systems (ICACSIS),
 
1-12