Article Dans Une Revue
Archive of Formal Proofs
Année : 2019
Frédéric Boulanger : Connectez-vous pour contacter le contributeur
https://centralesupelec.hal.science/hal-04495414
Soumis le : vendredi 8 mars 2024-11:23:03
Dernière modification le : mardi 17 décembre 2024-03:32:21
Dates et versions
Licence
Identifiants
- HAL Id : hal-04495414 , version 1
Citer
Frédéric Boulanger, Burkhart Wolff, Hai Nguyen Van. A Formal Development of a Polychronous Polytimed Coordination Language. Archive of Formal Proofs, 2019, https://www.isa-afp.org/entries/TESL_Language.html. ⟨hal-04495414⟩
Collections
85
Consultations
0
Téléchargements