Safouan Taha

Laboratoire

Laboratoire Méthodes Formelles

Publications (30)

Rapport 17/05/2024

Paolo Crisafulli , Safouan Taha , Burkhart Wolff

Communication dans un congrès 17/05/2024

Vassil Todorov , Safouan Taha , Frederic Boulanger

Communication dans un congrès 17/05/2024

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Article dans une revue 17/05/2024

Safouan Taha , Burkhart Wolff , Lina Ye

Communication dans un congrès 17/05/2024

Safouan Taha , Burkhart Wolff , Lina Ye

Article dans une revue 17/05/2024

Valentin Fouillard , Safouan Taha , Frederic Boulanger , Nicolas Sabouret

Communication dans un congrès 17/05/2024

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Communication dans un congrès 15/03/2024

Vassil Todorov , Safouan Taha , Frederic Boulanger , Armando Hernandez

Article dans une revue 15/03/2024

Vassil Todorov , Safouan Taha , Frederic Boulanger , Armando Hernandez

Article dans une revue 15/03/2024

Vassil Todorov , Safouan Taha , Frederic Boulanger , Armando Hernandez