Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/software/KimCKBK13
%A Kim, Young Joo
%A Choi, Okjoo
%A Kim, Moonzoo
%A Baik, Jongmoon
%A Kim, Tai-Hyo
%D 2013
%J IEEE Software
%K dblp
%N 3
%P 35-41
%T Validating Software Reliability Early through Statistical Model Checking.
%U http://dblp.uni-trier.de/db/journals/software/software30.html#KimCKBK13
%V 30
@article{journals/software/KimCKBK13,
added-at = {2016-01-12T00:00:00.000+0100},
author = {Kim, Young Joo and Choi, Okjoo and Kim, Moonzoo and Baik, Jongmoon and Kim, Tai-Hyo},
biburl = {https://www.bibsonomy.org/bibtex/2b44f63bf6ef21092c321904a231ff2d2/dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/MS.2013.24},
interhash = {7b2a42614d9ade93f6525e7c3e4d1b0d},
intrahash = {b44f63bf6ef21092c321904a231ff2d2},
journal = {IEEE Software},
keywords = {dblp},
number = 3,
pages = {35-41},
timestamp = {2016-01-13T11:39:13.000+0100},
title = {Validating Software Reliability Early through Statistical Model Checking.},
url = {http://dblp.uni-trier.de/db/journals/software/software30.html#KimCKBK13},
volume = 30,
year = 2013
}