A proposed theoretical psychological accompaniment model: "Support Companion" for individuals with special needs
Nadia Menaceur, Ammar Boucherit
Ammar Boucherit
عمار بوشريطAssociate professor (A)
8
Research output
15
Citations
2
h-index
Rate this researcherNo rating yet
The average shows from 3 ratings.
Contribution to Sustainable Development Goals
Collaborations and top research areas
Click dots and donuts to bring up details or select a country/territory from the list
Fingerprint
View allWeighted concepts mined from titles, abstracts and topics of the research output, grouped by field.
- 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
Research output(8)
View allA 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-62023Other Closed accessSeveral 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 Closed access