Accéder directement au contenu

Burkhart Wolff

2
Documents

Présentation

[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")
[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")

Publications

frederic-boulanger
"chantal-keller"
Image document

On the Semantics of Polychronous Polytimed Specifications

 Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron
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
Image document

A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing

 Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron
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⟩
Communication dans un congrès hal-01583815v1