Seguridad en energía nuclear: desarrollan metodologías de verificación formal de software para sistemas críticos
tech
El objetivo de esta iniciativa es adaptar diversas técnicas de verificación de software, utilizando lenguajes y procesos de diseño para garantizar sistémicamente el correcto funcionamiento de componentes críticos.
https://eleconomista.com.ar/tech/seguridad-energia-nuclear-desarrollan-metodologias-verificacion-formal-software-sistemas-criticos-n66718
Compartilo en Twitter
Compartilo en WhatsApp
Leer en https://eleconomista.com.ar/tech/seguridad-energia-nuclear-desarrollan-metodologias-verificacion-formal-software-sistemas-criticos-n66718