Publications en collaboration avec des chercheurs 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