|
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 |
|
|
|
|
|
