Statistics
Publications
1
Citations
20
H-Index
1
Active since
2020
Affiliations
Xidian University(Current)
Abeer Saeed Abdo Hadad is an author at Xidian University specializing in real-time system verification, safety systems, and safety-critical systems.
Publications per year
2020–2020
1
1
Formal Verification of AADL Models by Event-B
Abeer Saeed Abdo Hadad, Chunyan Ma, Adeeb A. Ahmed · IEEE Access · 2020 · 20 citations · Full text
1–1 of 1