Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, et al.. A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing.
15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017, Sep 2017, Berlin, Germany.
⟨10.1007/978-3-319-65765-3_18⟩.
⟨hal-01583815⟩