Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Mohamed Bawadekji


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN


KONFERENZEN


» Supporting Clinical Guidelines Using DL-Temporal Reasoning




Autor:

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

Melville, NY, USA, 2013
Hyperlink:

[Link zur Konferenz]


» TLM Protocol Compliance Checking at the Electronic System Level




Autor:

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

pp. 435-440, Cottbus, 2011
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


» Protocol Compliance Checking of SystemC TLM Models




Autor:

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

pp. 27-32, Bremen, 2011
Hyperlink:

[Link zum Workshop]

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt