Diseño y análisis formal de sistemas de software
FADOSS
Tsinghua University
Pekín, ChinaPublicaciones en colaboración con investigadores/as de Tsinghua University (1)
2021
-
IEEE ICCI*CC Series in Year 20: Latest Advances in Cognitive Computing (Plenary Panel Report-II)
Proceedings of 2021 IEEE 20th International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2021