Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech.
H. Choi, S. Cha, J. Jo, J. Yoo, H. Lee, and W. Kim. FGIT-CA/CES3, volume 256 of Communications in Computer and Information Science, page 112-121. Springer, (2011)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fgit/ChoiCJYLK11
%A Choi, Han
%A Cha, Sung Deok
%A Jo, Jae Yeon
%A Yoo, Junbeom
%A Lee, Hae Young
%A Kim, Wontae
%B FGIT-CA/CES3
%D 2011
%E Kim, Tai-Hoon
%E Adeli, Hojjat
%E Stoica, Adrian
%E Kang, Byeong Ho
%I Springer
%K dblp
%P 112-121
%T Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech.
%U http://dblp.uni-trier.de/db/conf/fgit/ca2011.html#ChoiCJYLK11
%V 256
%@ 978-3-642-26009-4
@inproceedings{conf/fgit/ChoiCJYLK11,
added-at = {2024-03-06T00:00:00.000+0100},
author = {Choi, Han and Cha, Sung Deok and Jo, Jae Yeon and Yoo, Junbeom and Lee, Hae Young and Kim, Wontae},
biburl = {https://www.bibsonomy.org/bibtex/2c0bbfb6571741002806c6ada80fbfb2a/dblp},
booktitle = {FGIT-CA/CES3},
crossref = {conf/fgit/2011ca},
editor = {Kim, Tai-Hoon and Adeli, Hojjat and Stoica, Adrian and Kang, Byeong Ho},
ee = {https://doi.org/10.1007/978-3-642-26010-0_13},
interhash = {99f4b36fe39114adb7e8bbd896e1b41d},
intrahash = {c0bbfb6571741002806c6ada80fbfb2a},
isbn = {978-3-642-26009-4},
keywords = {dblp},
pages = {112-121},
publisher = {Springer},
series = {Communications in Computer and Information Science},
timestamp = {2024-04-10T08:32:46.000+0200},
title = {Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech.},
url = {http://dblp.uni-trier.de/db/conf/fgit/ca2011.html#ChoiCJYLK11},
volume = 256,
year = 2011
}