Safouan Taha

Laboratoire

Laboratoire Méthodes Formelles

Publications (35)

Communication dans un congrès 01/01/2012

TASCCC - Project and Testing Tool (poster and demo)

Kalou Cabrera Castillos , Frédéric Dadeau , Yves Ledru , Lydie Du Bousquet , Taha Triki , Safouan Taha , Bruno Legeard , Julien Botella , Boutheina Chetali , Bernet Julien , David Rouillard , Safouan Taha

Communication dans un congrès 01/11/2011

Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests

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

Communication dans un congrès 01/01/2010

An Entirely Model-Based Framework for Hardware Design and Simulation

Safouan Taha , Ansgar Radermacher , Sébastien Gérard , Safouan Taha

Communication dans un congrès 01/01/2010

Extending the standard execution model of UML for real-time systems

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

Communication dans un congrès 01/01/2010

Extending the Standard Execution Model of UML for Real-Time Systems

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