• 1235 引用
  • 20 h指数
1996 …2991

Research output per year

Pureに変更を加えた場合、すぐここに表示されます。

研究成果

フィルター
評論記事
2018

The role of model checking in software engineering

Karna, A. K., Chen, Y., Yu, H., Zhong, H. & Zhao, J., 8 1 2018, : : Frontiers of Computer Science. 12, 4, p. 642-668 27 p.

研究成果: ジャーナルへの寄稿評論記事

3 引用 (Scopus)
2004

A model for slicing JAVA programs hierarchically

Li, B. X., Fan, X. C., Pang, J. & Zhao, J. J., 11 2004, : : Journal of Computer Science and Technology. 19, 6, p. 848-858 11 p.

研究成果: ジャーナルへの寄稿評論記事

17 引用 (Scopus)