“Sistemas Autónomos Confiables (TAS): El Enfoque De La Verificabilidad”. Actas Del Congreso Internacional De Ingeniería De Sistemas, Dec. 2022, pp. 27-29, https://doi.org/10.26439/ciis2022.6063.