Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/hase/NgoLQ16
%A Ngo, Van Chan
%A Legay, Axel
%A Quilbeuf, Jean
%B HASE
%D 2016
%E Babiceanu, Radu F.
%E Waeselynck, Hélène
%E Paul, Raymond A.
%E Cukic, Bojan
%E Xu, Jie
%I IEEE Computer Society
%K
%P 197-204
%T Statistical Model Checking for SystemC Models.
%U http://dblp.uni-trier.de/db/conf/hase/hase2016.html#NgoLQ16
%@ 978-1-4673-9913-5
@inproceedings{conf/hase/NgoLQ16,
added-at = {2023-12-13T05:57:33.000+0100},
author = {Ngo, Van Chan and Legay, Axel and Quilbeuf, Jean},
biburl = {https://www.bibsonomy.org/bibtex/213def5bd931babd8e0d7654d3650d6f1/admin},
booktitle = {HASE},
crossref = {conf/hase/2016},
editor = {Babiceanu, Radu F. and Waeselynck, Hélène and Paul, Raymond A. and Cukic, Bojan and Xu, Jie},
ee = {http://doi.ieeecomputersociety.org/10.1109/HASE.2016.24},
interhash = {a8a0237944acd5029754c1d3185f5331},
intrahash = {13def5bd931babd8e0d7654d3650d6f1},
isbn = {978-1-4673-9913-5},
keywords = {},
pages = {197-204},
publisher = {IEEE Computer Society},
timestamp = {2023-12-13T05:57:33.000+0100},
title = {Statistical Model Checking for SystemC Models.},
url = {http://dblp.uni-trier.de/db/conf/hase/hase2016.html#NgoLQ16},
year = 2016
}