Información Básica
Nombre: Chenyang Zhu
Institución: University of Southampton
Fecha de registro: 2018-03-13
Puntuación: 93
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, Sistemas y arquitectura. Los lugares consultados con frecuencia incluyen TASE, ABZ, FORMATS, FMCAD, FM.

Currículum
Conferencias Seguidas
Total 6 elementos.
CCFICOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
B1FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2026-04-132026-06-032026-09-02
ABB1FMInternational Symposium on Formal Methods2025-11-252026-02-062026-05-18
BBB1FMCADFormal Methods in Computer-Aided Design2025-04-202025-07-012025-10-06
CB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2025-03-012025-04-012025-07-14
BB1iFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
B2ABZASM, Alloy, B and Z2021-02-152021-03-292021-06-07
Conferencias Asistidas
Total 2 elementos.
CCFICOREQUALISAbreviaciónNombre CompletoFecha de conferenciaUbicación
CB3TASEInternational Symposium on Theoretical Aspects of Software Engineering2018-08-29Guangzhou, China
B2ABZASM, Alloy, B and Z2018-06-05Southampton, UK
Revistas Seguidas
Total 3 elementos.
CCFNombre CompletoFactor de ImpactoEditorISSN
BFormal Methods in System Design0.8Springer0925-9856
CFuture Generation Computer Systems6.1Elsevier0167-739X
BThe Journal of Systems Architecture: Embedded Software Design4.1Elsevier1383-7621
Investigadores Seguidos
NombreInstituciónFecha de registroPuntuación
No se encontraron resultados.