@phdthesis{oai:nagoya.repo.nii.ac.jp:00015919,
 author = {金, 周慧},
 month = {Mar},
 note = {名古屋大学博士学位論文 学位の種類 : 博士(情報科学)(課程) 学位授与年月日:平成25年3月25日},
 school = {名古屋大学, Nagoya University},
 title = {組込みシステムにおける状態遷移図に基づく安全分析手法},
 year = {2013}
}