عمار بوشريط
Ammar Boucheritأستاذ محاضر قسم أ
8
المُخرَجات
16
الاستشهادات
2
مؤشّر h
قيّم هذا الباحثلا تقييم بعد
يظهر المعدّل بعد 3 تقييمات.
مفاهيم موزونة مستخرجة من عناوين المُخرَجات وملخّصاتها ومواضيعها، مجمّعة حسب المجال.
Computer Science
Psychology
Business, Management and Accounting
Medicine
Health Professions
Engineering
عبارات مفتاحية
- rewriting logic
- critical systems
- formal verification
- chatbots
- psychological support
- people with disabilities
- caregivers
- family caregivers
- cognitive behavioral therapy
- psychosocial support
- referral systems
- model checking
- property-based testing
- Petri nets
- UML
- Object Constraint Language
- safety-critical software
- software architecture
- scalability
- high-level Petri nets
- semantics
- discrete event systems
- complex dynamics
- firing rules
- formal semantics
- multi-agent systems
- safety-critical systems
- model-driven engineering
- secure software development
- formal specification
- traceability