@techreport{weko_217283_1, author = "名倉,怜央 and 山﨑,信行", title = "SMT Processor用Imprecise Mixed Criticalityスケジューリング", year = "2022", institution = "慶應義塾大学理工学部, 慶應義塾大学理工学部", number = "63", month = "mar" }