001020244
100  $a                         y50      
101  $afre
2001 $aSynthèse des protocoles pour les applications temps réel.$bressource électronique
210  $aUniversité de Annaba - Badji Mokhtar  : Département d'Informatique$cUniversité de Annaba - Badji Mokhtar 
328 1$bMagister$cInformatique$eDépartement d'Informatique , Université de Annaba - Badji Mokhtar 
330  $a{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 }
610  $aSpécification des protocoles- spécification des services- dérivation de protocole- système temps réel.
700  $aBITAM, salim
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac