Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Page :
triés par
Image document

TESL: a Model with Metric Time for Modeling and Simulation

 Hai Nguyen Van , Frédéric Boulanger , Burkhart Wolff
27th International Symposium on Temporal Representation and Reasoning, Sep 2020, Bozen-Bolzano, Italy. ⟨10.4230/LIPIcs.TIME.2020.15⟩
Communication dans un congrès hal-02931401v1

A Formal Development of a Polychronous Polytimed Coordination Language

 Frédéric Boulanger , Burkhart Wolff , Hai Nguyen Van
Archive of Formal Proofs, 2019, https://www.isa-afp.org/entries/TESL_Language.html
Article dans une revue hal-04495414v1
Image document

Towards a formal semantics of the TESL specification language

 Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Safouan Taha , Benoît Valiron , et al.
3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Communication dans un congrès hal-01239669v1
Image document

On the Semantics of Polychronous Polytimed Specifications

 Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron , et al.
18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.23-40, ⟨10.1007/978-3-030-57628-8_2⟩
Communication dans un congrès hal-02931403v1
Page :