Hessa Alfraihi
1
Research output
0
Citations
0
h-index
Rate this researcherNo rating yet
The average shows from 3 ratings.
Collaborations and top research areas
Click dots and donuts to bring up details or select a country/territory from the list
Fingerprint
View allWeighted concepts mined from titles, abstracts and topics of the research output, grouped by field.
- Model-Driven Software Engineering Techniques
- Safety Systems Engineering in Autonomy
- Formal Methods in Verification
- model-driven engineering
- critical systems
- secure software development
- UML
- Object Constraint Language
- formal specification
- traceability