Expérience with RT‐LOTOS, a temporal extension of the LOTOS formal description technique - Archive ouverte HAL
Article Dans Une Revue Computer Communications Année : 2000

Expérience with RT‐LOTOS, a temporal extension of the LOTOS formal description technique

Résumé

no abstract

Domaines

Informatique [cs] Modélisation et simulation

Christophe Lohr  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01674645

Soumis le : mercredi 3 janvier 2018-12:06:40

Dernière modification le : lundi 20 novembre 2023-11:44:17

Fichier non déposé

Dates et versions

hal-01674645 , version 1 (03-01-2018)

Identifiants

  • HAL Id : hal-01674645 , version 1

Citer

Jean-Pierre Courtiat, Celso Santos, Christophe Lohr, Benaceur Outtaj. Expérience with RT‐LOTOS, a temporal extension of the LOTOS formal description technique. Computer Communications, 2000, 23 (12), pp.1104--1123. ⟨hal-01674645⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INSA-TOULOUSE LAAS UT1-CAPITOLE TDS-MACS INSA-GROUPE TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
66 Consultations
0 Téléchargements

Partager

More