Search - IFIP Open Digital Library Access content directly

Filter your results

3 results
authIdHal_s : safouan-taha
Image document

An Entirely Model-Based Framework for Hardware Design and Simulation

Safouan Taha , Ansgar Radermacher , Sébastien Gérard
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC), Sep 2011, Brisbane, Australia. pp.31-42, ⟨10.1007/978-3-642-15234-4_5⟩
Conference papers hal-00526737v1
Image document

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

Abderraouf Benyahia , Arnaud Cuccuru , Safouan Taha , François Terrier , Frédéric Boulanger , et al.
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.43-54, ⟨10.1007/978-3-642-15234-4_6⟩
Conference papers hal-01054487v1
Image document

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

Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Safouan Taha
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Conference papers hal-00640312v1