3 citations · 5 across the 9 of their papers we have counts for
1 paper · 1 filter
Gaoyan Xie, Zhe Dang
Component-based software development has posed a serious challenge to system verification since externally-obtained components could be a new source of system failures. This issue…