"Tu veux parler des trois modèles sur lesquels reposent les techniques de description formelle des protocoles comme les automates d’états finis, les réseaux de Pétri ou encore l’ordonnancement temporel ?
En fait tu as deux langages normalisés qui sont Estelle et Lotos, Estelle utilisant les automates et Lotos l’ordonnancement temporel. Ces langages de description de protocoles ont été développés par l’ISO. Ils possèdent tous les deux une sémantique et une syntaxe formelle.
Je pourrais aussi te parler de la partie ou d’une part je te présenterais une approche d’évaluation de ces deux langages, et d’autre part à approfondir les comparaisons par un choix de critères plus sélectifs, enfin si tu veux mon chéri ?"
- ha
"ouned, mon chéri"
En fait tu as deux langages normalisés qui sont Estelle et Lotos, Estelle utilisant les automates et Lotos l’ordonnancement temporel. Ces langages de description de protocoles ont été développés par l’ISO. Ils possèdent tous les deux une sémantique et une syntaxe formelle.
Je pourrais aussi te parler de la partie ou d’une part je te présenterais une approche d’évaluation de ces deux langages, et d’autre part à approfondir les comparaisons par un choix de critères plus sélectifs, enfin si tu veux mon chéri ?"
- ha
"ouned, mon chéri"
Ah les mamans...
j'ai cru qui avais un cour que les phrase d'accroche, genre :
bonjour je doigte bien ne vous inquiété pas.Jje suis un expert depuis la découverte de l'anus.
tout en vous mettant le doigt sous le nez ^^