Homepage Sitemap Contact




Home « Team « Publications
» Publications of Mohamed Bawadekji



BOOKS


BOOK CONTRIBUTIONS


JOURNALS


CONFERENCES



» Supporting Clinical Guidelines Using DL-Temporal Reasoning




Author:

Serge Autexier, Mohamed Bawadekji, Dieter Hutter, Regine Wolters
Conference:
International Conference & Expo on Emerging Technologies for a Smarter World (CEWIT)
Reference:

Melville, NY, USA, 2013
Hyperlink:

[To the Site of this Conference]



» TLM Protocol Compliance Checking at the Electronic System Level




Author:

Mohamed Bawadekji, Daniel Große, Rolf Drechsler
Conference:
14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Reference:

pp. 435-440, Cottbus, 2011
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» Protocol Compliance Checking of SystemC TLM Models




Author:

Mohamed Bawadekji, Daniel Große, Rolf Drechsler
Workshop:
8. GMM/ITG/GI-Workshop Cyber-Physical Systems – Enabling Multi-Nature Systems (CPMNS)
Reference:

pp. 27-32, Bremen, 2011
Hyperlink:

[Link to the Workshop]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE