Contributions to Conferences

back

Automatic Equivalence Checking for SystemC-TLM 2.0 Models Against their Formal Specifications

Authors

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

Meta information [BibTeX]

Year: 2017, Reviewed
Conference: Design, Automation and Test in Europe in Lausanne, Switzerland (March 27-31, 2017)

Goli, M.; Stoppe, J.; Drechsler, R.
Automatic Equivalence Checking for SystemC-TLM 2.0 Models Against their Formal Specifications
2017,
(Workgroup: DFKI)

@inproceedings{Gol17,
author = {Goli, M. and Stoppe, J. and Drechsler, R.},
title = {Automatic Equivalence Checking for SystemC-TLM 2.0 Models Against their Formal Specifications},
booktitle = {},
year = {2017},
editor = {},
publisher = {},
doi = {},
pages = {}
}

Download as .bib

LogDynamics

Contributions to Conferences

Automatic Equivalence Checking for SystemC-TLM 2.0 Models Against their Formal Specifications

Authors

Meta information [BibTeX]