Analyzing data flow diagrams by combination of formal methods and visualization techniques
Analyzing data flow diagrams by combination of formal methods and visualization techniques
复制标题
结合形式化方法和可视化技术分析数据流图
DOI：
10.1016/j.jvlc.2018.08.001
复制
发表时间：
2018-10
影响因子：
--
通讯作者：
Dong Xiaoju
中科院分区：
文献类型：
--
作者：
Zhang Haocheng;Liu Wei;Xiong Hao;Dong Xiaoju
登录
查看更多内容
DOI：
10.1109/icdmw.2015.205
发表时间：
2015-06
期刊：
2015 IEEE International Conference on Data Mining Workshop (ICDMW)
影响因子：
--
作者：
H. Gualdron;R. Cordeiro;J. F. Rodrigues
通讯作者：
H. Gualdron;R. Cordeiro;J. F. Rodrigues
DOI：
10.1109/tvcg.2013.263
发表时间：
2014-08
影响因子：
5.2
作者：
S. V. D. Elzen;Danny Holten;Jorik Blaas;J. V. Wijk
通讯作者：
S. V. D. Elzen;Danny Holten;Jorik Blaas;J. V. Wijk
影响因子：
--
作者：
Chambers, Craig;Raniwala, Ashish;Weizenbaum, Nathan
通讯作者：
Weizenbaum, Nathan
DOI：
10.1109/tvcg.2017.2744878
发表时间：
2018-01-01
影响因子：
5.2
作者：
Wongsuphasawat, Kanit;Smilkov, Daniel;Wattenberg, Martin
通讯作者：
Wattenberg, Martin
DOI：
--
发表时间：
2002
期刊：
--
影响因子：
--
作者：
R. Cava;P. R. G. Luzzardi;C. Freitas
通讯作者：
R. Cava;P. R. G. Luzzardi;C. Freitas