23 dic 2023 · Sistemas IIoT Seguros
Transporte IIoT seguro y controles de segmentacion: Especificacion y verificacion orientadas a invariantes
Un analisis formal de ingenieria sobre sistemas IIoT seguros con enfasis en especificacion y verificacion orientadas a invariantes y restricciones operativas adversariales.