Résumé
This International Standard defines the syntax and semantics of the enhanced LOTOS language (ISO 8807),
named E-LOTOS. E-LOTOS is used for the formal description of the behavioural aspects of distributed and
concurrent systems in general and in the area of open distributed processing in particular.
Prévisualiser
Prévisualiser cette norme sur notre Plateforme de consultation en ligne (OBP)
Informations générales
-
État actuel: PubliéeDate de publication: 2001-08Stade: Norme internationale confirmée [90.93]
-
Edition: 1
-
Comité technique :ISO/IEC JTC 1/SC 7
- RSS mises à jour
Cycle de vie
-
Actuellement
PubliéeISO/IEC 15437:2001
Les normes ISO sont réexaminées tous les cinq ans
Stade: 90.93 (Confirmée)
Vous avez une question?
Consulter notre FAQ
Service à la clientèle
+41 22 749 08 88
Horaires d’ouverture:
De lundi à vendredi - 09:00-12:00, 14:00-17:00 (UTC+1)