Fatima Haloua
3
Productions
4
Citations
1
Indice h
Noter ce chercheurPas encore noté
La moyenne apparaît à partir de 3 avis.
Concepts pondérés extraits des titres, résumés et thématiques des productions, groupés par domaine.
Computer Science
Engineering
Social Sciences
Expressions clés
- automated theorem proving
- critical systems
- UML
- Object Constraint Language
- formal modeling
- formal verification
- security policy specification
- information security
- confidentiality, integrity and availability
- model-driven engineering
- secure software development
- formal specification
- traceability
- incremental development
- formal methods
- security requirements
- life cycle development
- Zenon