Accueil › Annuaire des chercheurs › Kamel Boukhelfa
Kamel Boukhelfa
Affiliation : Université Constantine 2
- 6Publications (affiliation algérienne)
- 7Publications au total
- 4Citations
- 1Indice h
C’est vous ? Faites connaître vos travaux
Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.
Créer mon profil gratuit Ajouter mes publicationsDomaines de recherche
- Model-Driven Software Engineering Techniques
- Formal Methods in Verification
- Advanced Software Engineering Methodologies
- Multi-Agent Systems and Negotiation
- Mobile Agent-Based Network Management
Publications (6)
- Towards Specification and Analysis of Dependable Cyber-Physical Systems
- FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems
- A Combined Approach for RT-Systems Development and Analysis
- Towards a Formalization of Real-Time Patterns-Based Designs
- For more understandable UML diagrams
- Inter-agent Communications During the Virtual Enterprise Creation
Co-auteurs
Données bibliographiques issues d’OpenAlex (base ouverte).
Pourquoi choisir Dzcademia ?
Pour donner à vos travaux plus de chances d’être découverts et recommandés par les IA. Profils, articles et communications : donnez à votre recherche une présence publique structurée. Les métadonnées intégrées aident les moteurs de recherche et les assistants IA à identifier vos travaux et à comprendre leurs références.
Commenter avec Google
Connecte-toi avec Google pour commenter directement sur cette page.