Crean herramientas para verificar sistemas para reactores nucleares
Noticias11 de mayo 2023Lo llevan adelante investigadores de la Universidad Nacional de Río Negro y es para aplicarse en sistemas críticos del INVAP. Un grupo de científicos en computación se encuentra desarrollando un proyecto enfocado en la aplicación de técnicas de verificación formal de software para sistemas críticos en el campo de la producción de reactores nucleares en
Investigan una problemática industrial asociada a aguas de reactores nucleares
Noticias30 de marzo 2023Se trata de una investigación científica teórica y experimental que lidera un investigador del Centro Nacional para la Investigación Científica de Francia. Este trabajo cuenta con el aporte científico de físicos de la UNSL por ser expertos a nivel internacional en mecánica estadística. El Dr. Marcos Salazar, investigador mexicano y actual científico del centro francés
Últimas noticias
Cámara de Diputados PBA
UTN
UNICEN
UNPAZ
UNM
