Reference number
ISO/IEC 15437:2001
© ISO 2024
International Standard
ISO/IEC 15437:2001
Information technology — Enhancements to LOTOS (E-LOTOS)
Edition 1
2001-08
Preview
Indisponible en français
Publiée (Edition 1, 2001)
Cette publication a été révisée et confirmée pour la dernière fois en 2008. Cette édition reste donc d’actualité.

ISO/IEC 15437:2001

Langue
Format
CHF 216
Convertir les francs suisses (CHF) dans une autre devise

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.

Informations générales

  • État actuel
     : Publiée
    Date de publication
     : 2001-08
    Stade
    : Norme internationale confirmée [90.93]
  • Edition
     : 1
  • Comité technique :
    ISO/IEC JTC 1/SC 7
    ICS :
    35.060  35.080 
  • RSS mises à jour

Cycle de vie

Objectifs de développement durable

Cette norme contribue à l'Objectif de développement durable suivant

9
Industrie, innovation et infrastructure

Vous avez une question?

Consulter notre Aide et assistance

  2. Store
  3. Catalogue de normes
  4. ICS
  5. 35
  6. 35.060
  7. ISO/IEC 15437:2001