[IEEE 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) - Atlanta, GA, USA (2016.6.10-2016.6.14)] 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) - Modeling and Verifying HDFS Using CSP
Xie, Wanling, Zhu, Huibiao, Wu, Xi, Xiang, Shuangqing, Guo, JianAnnée:
2016
Langue:
english
DOI:
10.1109/compsac.2016.158
Fichier:
PDF, 196 KB
english, 2016