- 1
- 1
Frédéric Boulanger
2
Documents
Identifiants chercheurs
- frederic-boulanger
- 0000-0003-3185-2807
- IdRef : 132922029
Présentation
Publications
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
On the Semantics of Polychronous Polytimed Specifications18th 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
|
|
Towards a formal semantics of the TESL specification language3rd 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
|