Book Sections

back

Formal Verification of SystemC-based Cyber Components

Authors

Große, D.
Le, H. M.
Drechsler, R.

Meta information [BibTeX]

Year: 2017
Industrial Internet of Things
Pages: 137-167
Publisher: Springer, Cham

Große, D.; Le, H. M.; Drechsler, R.
Formal Verification of SystemC-based Cyber Components
In: Industrial Internet of Things. Springer, Cham. 2017, pp. 137-167
(Workgroup: DFKI)

@inbook{Gro17,
author = {Gro{\ss}e, D. and Le, H. M. and Drechsler, R.},
editor = {},
title = {Formal Verification of SystemC-based Cyber Components},
chapter = {},
pages = {137-167},
publisher = {Springer},
year = {2017},
volume = {},
doi = {},
note = {published in Book 'Industrial Internet of Things'}
}

Download as .bib

LogDynamics

Book Sections

Formal Verification of SystemC-based Cyber Components

Authors

Meta information [BibTeX]