INGENIERIE DES PROTOCOLES ET QUALITE DE SERVICE
Présentation des techniques de spécification formelle pour l'expression des contraintes de qualités de services (QdS) des nouvelles technologies de l'information comme l'Internet, les architectures réseaux et les protocoles. Présente des techniques ou langages pour décrire des protocoles et des services de manière précise, les normes, la notation ASN.
Description
Présentation des techniques de spécification formelle pour l'expression des contraintes de qualités de services (QdS) des nouvelles technologies de l'information comme l'Internet, les architectures réseaux et les protocoles. Présente des techniques ou langages pour décrire des protocoles et des services de manière précise, les normes, la notation ASN.1, le langage E-LOTOS...
Renseignements sur l'ouvrage
Ouvrages similaires