Safouan Taha

Laboratoire

Laboratoire Méthodes Formelles

Publications (33)

Communication dans un congrès 21/03/2025

Valentin Fouillard , Nicolas Sabouret , Safouan Taha , Frederic Boulanger

Brevet 21/03/2025

Martin Rayrolle , Michaël Templier , Éric Fitterer , Dominique Marcadet , Frederic Boulanger , Safouan Taha

Article dans une revue 20/03/2025

Paolo Crisafulli , Safouan Taha , Burkhart Wolff

Communication dans un congrès 20/03/2025

Safouan Taha , Burkhart Wolff , Lina Ye

Communication dans un congrès 20/02/2025

Abderraouf Benyahia , Arnaud Cuccuru , Safouan Taha , François Terrier , Frederic Boulanger , Sébastien Gérard

Communication dans un congrès 20/02/2025

Abderraouf Benyahia , Arnaud Cuccuru , Safouan Taha , François Terrier , Frederic Boulanger , Sébastien Gérard

Communication dans un congrès 18/02/2025

Frédéric Dadeau , Kalou Cabrera Castillos , Yves Ledru , Taha Triki , German Vega , Julien Botella , Safouan Taha

Communication dans un congrès 18/02/2025

Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Bilal Kanso , Safouan Taha

Communication dans un congrès 18/02/2025

Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Bilal Kanso , Safouan Taha

Communication dans un congrès 18/02/2025

Frédéric Dadeau , Kalou Cabrera Castillos , Yves Ledru , Taha Triki , German Vega , Julien Botella , Safouan Taha