Indisponible en français

Acheter cette norme

Résumé Preview

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
  • Edition : 1
  • Comité technique
    :
    ISO/IEC JTC 1/SC 7
    Ingénierie du logiciel et des systèmes
  • ICS :
    35.060
    Langages utilisés dans les technologies de l'information
    35.080
    Logiciels

Objectifs de développement durable

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

9
Industrie, innovation et infrastructure

Acheter cette norme

Format Langue
PDF
Papier
  • CHF198

Cycle de vie


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)

Suivez l'actualité de l'ISO

Inscrivez-vous à notre Newsletter (en anglais) pour suivre nos actualités, points de vue et informations sur nos produits.

  2. Store
  3. Catalogue de normes
  4. TC
  5. ISO/IEC JTC 1/SC 7
  6. ISO/IEC 15437:2001