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...