Thése doctorat

A Graph Transformation Approach for Dynamic Reorganization in Multi-Agent Systems

guerrouf fayçal, Auteur ; Allaoua Chaoui, Directeur de thèse | Biskra [Algerie] : Université Mohamed Khider | 2021

Nowadays, complexity and high distribution are considered as the main properties of large real-world systems such as airports and manufacturing systems. The Organization Centered Multi-Agent System (OCMAS) approach is advocated as an appropria[...]

Plus d'information...

Ajoutez avis

Consulter en ligne

Non prêtable

Thése doctorat

UML et Model-Checking pour la Modélisation et la Vérification des Systèmes Embarqués

Amel Meliouh, Auteur ; Allaoua Chaoui, Directeur de thèse | 2021

Ce travail présente une approche formelle de modélisation et de vérification des systèmes embarqués. L’approche repose sur une modélisation du comportement temporel du système et une génération automatique de code. Le concept clé est l'utilisa[...]

Plus d'information...

Ajoutez avis

Consulter en ligne

Non prêtable