Lina Ye

Laboratoire

Laboratoire Méthodes Formelles

Publications (37)

Communication dans un congrès 28/11/2024

Farid Nouioua , Philippe Dague , Lina Ye

Communication dans un congrès 03/09/2024

Hadi Zaatiti , Lina Ye , Philippe Dague , Jean-Pierre Gallois

Communication dans un congrès 03/09/2024

Hadi Zaatiti , Lina Ye , Philippe Dague , Jean-Pierre Gallois

Communication dans un congrès 03/09/2024

Hadi Zaatiti , Lina Ye , Philippe Dague , Jean-Pierre Gallois

Article dans une revue 14/05/2024

Lina Ye , Philippe Dague

Communication dans un congrès 16/04/2024

Lulu He , Lina Ye , Philippe Dague

Communication dans un congrès 12/02/2024

Hai Nguyen Van , Thibaut Balabonski , Frederic Boulanger , Safouan Taha , Benoit Valiron , Burkhart Wolff , Lina Ye