A proposed theoretical psychological accompaniment model: "Support Companion" for individuals with special needs
Nadia Menaceur, Ammar Boucherit
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.
Contribution aux Objectifs de Développement Durable (ODD)
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
- Formal Methods in Verification
- Petri Nets in System Modeling
- Computational Theory and Mathematics
- Digital Mental Health Interventions
- rewriting logic
- Logic, programming, and type systems
- Software
- critical systems
- Business Process Modeling and Analysis
Productions scientifiques(8)
Tout voirA maintainable and iterative development approach of critical systems with FoCaLiZe
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics
Ammar Boucherit, Kamel Barkaoui, Mohammed L. Lamouri
Volume 1، Pages 1-62023Autre Accès ferméPlusieurs sources 1
Towards a hybrid formal analysis technique for safety-critical software architectures
Laura M. Castro, Osman Hasan, Ammar Boucherit, Abdallah Khababa
International Journal of Critical Computer-Based SystemsVolume 10، (2)، Pages 952021Article Accès fermé