Publicacións en colaboración con investigadores/as de Instituto Tecnológico de Toluca (3)

2022

  1. Water quality assurance in aquaculture ponds using Machine Learning and IoT techniques

    2022 IEEE Mexican International Conference on Computer Science, ENC 2022 - Proceedings

2020

  1. CrEStO: A Tool for Synthesizing Stateful Priorities

    Proceedings - 16th European Dependable Computing Conference, EDCC 2020