Mousavi, M.R. 2022. Sistemas Autónomos Confiables (TAS): el enfoque de la verificabilidad. Actas del Congreso Internacional de Ingeniería de Sistemas. (dic. 2022), 27-29. DOI:https://doi.org/10.26439/ciis2022.6063.