02/08/2024
La publicación científica aborda las áreas de lenguajes, modelos y paradigmas de programación, especificación, análisis y verificación de propiedades de seguridad de los programas y sistemas ciber-físicos
01/08/2024
La visita se realiza en el marco de la Cost Action 20111 Red Europea de Investigación sobre Pruebas Formales (EuroProofNet)
23/07/2024
Este evento forma parte de una serie de eventos internacionales dedicados a la teoría de la Unificación de Términos y sus aplicaciones a los lenguajes de programación
23/07/2024
El objetivo de este proyecto es proporcionar herramientas, conocimientos y competencias en ciberseguridad a profesores y colectivos vulnerables de la India, Nepal e Indonesia