Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Rehab Massoud


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN


KONFERENZEN


» Semi-Formal Cycle-Accurate Temporal Execution Traces Reconstruction




Autor:

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

Berlin, Germany, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS

















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









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt