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:
Formal specification and verification
×
Campo de Investigación:
Resultados de Congresos (2)
Ordenar por:
Fecha de Envío
Conference Date
Clasificación
Tipo
Default
Relevant
Descending
Ascending
Eventos por página:
4
8
12
20
50
100
International Symposium on Fundamentals of Computation Theory (FCT)
Rank: B
Offline
Institute of Computer Science, University of Wrocław, Poland
Sep 15, 2025 - Sep 17, 2025
Algorithms
Complexity
Formal Methods
+52 más
International Conference on Real-Time and Network Systems (RTNS)
Rank: National: France
Offline
Pisa, Italy
Nov 5, 2025 - Nov 7, 2025
Formal specification and verification
Hardware support for real-time systems
Real-time applications design and evaluation
+5 más
