Ammar Boucherit
عمار بوشريطMaître de conférences A
8
Productions
16
Citations
2
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
Psychology
Business, Management and Accounting
Medicine
Health Professions
Engineering
Expressions clés
- 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