@techreport{weko_176983_1, author = "照屋,大地 and 中條,拓伯", title = "IoT/CPS技術を支援する高位合成フレームワークの構想", year = "2017", institution = "東京農工大学工学部情報工学科, 東京農工大学工学研究院先端情報科学部門", number = "11", month = "jan" }