Información Básica
Nombre: Yuhan Li
Institución: National University of Defense Technology
Fecha de registro: 2023-02-21
Puntuación: 44
Perfil de intereses de investigación Generado automáticamente por el sistema

Según los congresos y revistas consultados, este investigador parece más interesado en Ingeniería de software. Los lugares consultados con frecuencia incluyen ATVA, VMCAI, STVR.

Currículum
Conferencias Seguidas
Total 2 elementos.
CCFICOREAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
BBVMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2026-09-162026-11-062027-01-11
CBATVAInternational Symposium on Automated Technology for Verification and Analysis2026-05-192026-07-232026-12-01
Conferencias Asistidas
Total 2 elementos.
CCFICOREAbreviaciónNombre CompletoFecha de conferenciaUbicación
BBVMCAIInternational Conference on Verification, Model Checking, and Abstract Interpretation2023-01-15Online
CBATVAInternational Symposium on Automated Technology for Verification and Analysis2022-10-25Beijing, China
Revistas Seguidas
Total 1 elemento.
CCFNombre CompletoFactor de ImpactoEditorISSN
BSoftware Testing, Verification and Reliability1.2Wiley1099-1689
Investigadores Seguidos
NombreInstituciónFecha de registroPuntuación
No se encontraron resultados.