@techreport{weko_90484_1, author = "丸地,康平 and 酒井,政裕 and 進,博正", title = "シーケンス制御プログラムのテストに適した新しいカバレッジ基準の提案", year = "2013", institution = "(株)東芝研究開発センターシステム技術ラボラトリー, (株)東芝研究開発センターシステム技術ラボラトリー, (株)東芝研究開発センターシステム技術ラボラトリー", number = "17", month = "mar" }