FIT-Conference Hub
Congresos
Revistas
Visualización
Chatbot
NUEVO
Soporte
Publicar
Tema
Español
Congresos
Revistas
Visualización
Chatbot
NUEVO
Soporte
Publicar
Notificaciones
Marcar todo como leído
No hay notificaciones nuevas.
Ver todo
Palabra Clave
Inicio:
Fin:
Tipo
Ubicación
Buscar
Limpiar
Ocultar opciones de búsqueda avanzada
?
Fecha de Envío:
Clasificación:
Todas las Clasificaciones
A*
A
B
C
Unranked
Other
Fuente:
Todas las Fuentes
Editorial:
Temas:
Equivalence checking
×
Campo de Investigación:
Resultados de Congresos (2)
Eventos por página:
4
8
12
20
50
100
The International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
Rank: C
Offline
Paris (Palaiseau), France
Nov 5, 2025 - Nov 7, 2025
Abstraction techniques
Assessment for real-time systems
AI & Formal methods
+20 más
Formal Methods in Computer-Aided Design (FMCAD)
Rank: B
Offline
Menlo Park, California, USA
Oct 6, 2025 - Oct 10, 2025
Formal Methods
Computer-Aided Design
Model checking
+35 más
