Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Maâmar El-Amine Hamri

est l'auteur d'une thèse
a dirigé 1 thèse

DEv-PROMELA Ingénierie des systèmes Logiciels Mode de transfert asynchrone Modélisation des données Modélisation et Simulation Méthodes Formelles Promela SDL Simulation par ordinateur Simulation, Méthodes de Systèmes informatiques Systèmes temporisés Systèmes à Evènements Discrets Systèmes échantillonnés Vérification et Validation

Fullscreen

DEv-PROMELA Ingénierie des systèmes Logiciels Mode de transfert asynchrone Modélisation des données Modélisation et Simulation Méthodes Formelles Promela SDL Simulation par ordinateur Simulation, Méthodes de Systèmes informatiques Systèmes temporisés Systèmes à Evènements Discrets Systèmes échantillonnés Vérification et Validation

Maâmar El-Amine Hamri a rédigé la thèse suivante :

Spécification, opérationnalisation et simulation des systèmes de connaissances réactifs : utilisation de CommonKADS et DEVS

par Maâmar El-Amine Hamri sous la direction de Claudia Frydman et de Lucile Torrès . - Aix-Marseille 3

Modélisation et conception des processus assistés par ordinateur

Soutenue en 2005

Thèse soutenue

Maâmar El-Amine Hamri a dirigé la thèse suivante :

Une approche de vérification formelle et de simulation pour les systèmes à événements : application à PROMELA

par Aznam Yacoub sous la direction de Claudia Frydman et de Maâmar El-Amine Hamri . - Aix-Marseille

Informatique

Soutenue le 08-12-2016

Thèse soutenue

Accéder en ligne