%0 Journal Article %1 journals/ieicet/OgawaIMCN15 %A Ogawa, Hideto %A Ichii, Makoto %A Myojin, Tomoyuki %A Chikahisa, Masaki %A Nakagawa, Yuichiroh %D 2015 %J IEICE Trans. Inf. Syst. %K dblp %N 6 %P 1150-1160 %T A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet98d.html#OgawaIMCN15 %V 98-D

@article{journals/ieicet/OgawaIMCN15, added-at = {2020-04-11T00:00:00.000+0200}, author = {Ogawa, Hideto and Ichii, Makoto and Myojin, Tomoyuki and Chikahisa, Masaki and Nakagawa, Yuichiroh}, biburl = {https://www.bibsonomy.org/bibtex/2b6239c3fe7a87cade0b8afccc422a5a3/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e98-d_6_1150}, interhash = {493796674e2f804524e925b5d8fcd763}, intrahash = {b6239c3fe7a87cade0b8afccc422a5a3}, journal = {IEICE Trans. Inf. Syst.}, keywords = {dblp}, number = 6, pages = {1150-1160}, timestamp = {2020-04-14T11:58:53.000+0200}, title = {A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet98d.html#OgawaIMCN15}, volume = {98-D}, year = 2015 }