- 1
Frédéric Boulanger
1
Documents
Identifiants chercheurs
- frederic-boulanger
- 0000-0003-3185-2807
- IdRef : 132922029
Présentation
Publications
- 1
- 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
|