Statistics
Publications
3
Citations
102
H-Index
3
Active since
2012
Affiliations
Mälardalen University(Current)
Omar Jaradat is an author at Mälardalen University specializing in systems engineering, engineering, and formal verification.
Publications per year
2012–2017
3
3
Challenges of Safety Assurance for Industry 4.0
Omar Jaradat, Irfan Šljivo, Ibrahim Habli et al. · 2017 · 41 citations
Automated Verification of AADL-Specifications Using UPPAAL
Andreas Johnsen, Kristina Lundqvist, Paul Pettersson et al. · 2012 · 34 citations
1–3 of 3