分散システムを対象としたモデルベーステストにおけるテストオラクルの高速化
分散システムを対象としたモデルベーステストにおけるテストオラクルの高速化
复制标题
分布式系统基于模型的测试中测试预言机的加速
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
北村崇師
中科院分区：
文献类型：
--
作者：
坂西一暁;Cyrille Artho;田辺良則;萩谷昌己;北村崇師
