Homepage Sitemap Contact




Home « Team « Publications
» Publications of Rehab Massoud



BOOKS


BOOK CONTRIBUTIONS


JOURNALS


CONFERENCES



» Semi-Formal Cycle-Accurate Temporal Execution Traces Reconstruction




Author:

Rehab Massoud, Jannis Stoppe, Daniel Große, Rolf Drechsler
Conference:
15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)
Reference:

Berlin, Germany, 2017
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS


















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









Sitemap Kontakt

ISMVL2014 DUHDE