Fatima Haloua
3
المُخرَجات
4
الاستشهادات
1
مؤشّر h
قيّم هذا الباحثلا تقييم بعد
يظهر المعدّل بعد 3 تقييمات.
مفاهيم موزونة مستخرجة من عناوين المُخرَجات وملخّصاتها ومواضيعها، مجمّعة حسب المجال.
Computer Science
Engineering
Social Sciences
عبارات مفتاحية
- 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