Contributions to Conferences

back

Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata

Authors

Goli, M.
Stoppe, J.
Drechsler, R.

Meta information [BibTeX]

Year: 2017, Reviewed
Conference: 35th IEEE International Conference on Computer Design (ICCD) in Boston Area, Massachusetts, USA (November 5-8, 2017)

Goli, M.; Stoppe, J.; Drechsler, R.
Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata
2017,
(Workgroup: DFKI)

@inproceedings{Gol17a,
author = {Goli, M. and Stoppe, J. and Drechsler, R.},
title = {Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata},
booktitle = {},
year = {2017},
editor = {},
publisher = {},
doi = {},
pages = {}
}

Download as .bib

LogDynamics

Contributions to Conferences

Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata

Authors

Meta information [BibTeX]