Profil

Nom: Boukhelfa

Prénom: Kamel

Domaines de compétences:

Contacts

+213(0)779186993

kamel.boukhelfa@univ-constantine2.dz

Profil Google Scholar

Publications

Titre	Auteurs	DOI/URL
A Combined Approach for RT-Systems Development and Analysis: Application to the COVID-19 Fever Detection System	Boukhelfa Kamel Faiza Belala	Consulter

Communications

Titre	DOI/URL	Type
Towards a Formalization of Real-Time Patterns-Based Designs	Consulter	Conférence
Towards a Formalization of Real Time Design Patterns: From UML-MARTE Profile To MAUDE Specification	Consulter	Conférence
A Model-Transformation Approach for the Formalization of the Design Patterns	Consulter	Conférence
Rewriting Logic Based Meta-Model For DP Formalization	Consulter	Conférence
For more understandable UML Diagrams	Consulter	Conférence