title: Information processing systems — Open Systems Interconnection — Formal methods in conformance testing of OSI protocols — Part 2: Guideline
title: Systèmes de traitement de l'information — Interconnexion de systèmes ouverts — Méthodes formelles pour les tests de conformité des protocoles OSI