MOUSAVI, M. R. Sistemas Autónomos Confiables (TAS): el enfoque de la verificabilidad. Actas del Congreso Internacional de Ingeniería de Sistemas, p. 27-29, 26 dic. 2022.