| Etablissement | Université de Annaba - Badji Mokhtar |
| Affiliation | Département d'Informatique |
| Auteur | BITAM, Salim |
| Directeur de thèse | BOUCHANA Belkacem (Docteur) |
| Filière | Informatique |
| Diplôme | Magister |
| Titre | Synthèse des protocoles pour les applications temps réel. |
| Mots clés | Spécification des protocoles- spécification des services- dérivation de protocole- système temps réel. |
| Résumé | {rtf1fbidisansideff0{fonttbl{f0fnilfcharset0 MS Sans Serif;}}
viewkind4uc1pardltrparlang1025f0fs16 Dans le cadre de la conception des protocoles de communication, un mod'e8le formel est appel'e9 'e0 atteindre une bonne sp'e9cification des protocoles : il s'agit de la synth'e8se des protocoles. La sp'e9cification formelle des protocoles est utilis'e9e par la suite pour examiner le bon fonctionnement et la performance des protocoles avant leur impl'e9mentation.par
}
|
| Statut | Vérifié |