Gaz médicaux ininflammables - Réseaux de distribution dans les établissements
de santé - Protocole ...
1. OBJET ET DOMAINE D'APPLICATION
Le présent document a pour objet de fixer la procédure à suivre pour la
certification des réseaux de distribution des gaz médicaux ininflammables d'un
établissement de santé, conformément à la norme NQ 5710-500 "Gaz médicaux
ininflammables - Réseaux de distribution dans les établissements de santé". Il
s'applique aux institutions…
Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Techni...
This National Standard of Canada is equivalent to International Standard ISO 8807:1989.
1 Scope and Field of Application
This International Standard defines the syntax and semantics of the Formal Description Technique LOTOS. LOTOS is in general used for the formal description of distributed, concurrent information processing systems. In particular LOTOS can be used to describe formally the…