Hessa Alfraihi
1
Productions
0
Citations
0
Indice h
Noter ce chercheurPas encore noté
La moyenne apparaît à partir de 3 avis.
Collaborations and top research areas
Cliquez sur les points pour afficher les détails ou sélectionnez un pays dans la liste
Empreinte
Tout voirConcepts pondérés extraits des titres, résumés et thématiques des productions, groupés par domaine.
- 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