Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/2025
Hecho en Colombia
Sergio Vianna Fialho
Universidade Federal do Rio Grande do Norte
Perfil externo:
Citaciones:
0
Productos:
1
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
1 Producto
Más citado
CSV
API
Formal methods for the specification and verification of distributed systems
Acceso Cerrado
TD-TD_B
ID Minciencias: TD-0000086410-29977
Sergio Vianna Fialho
J L S Leao
A C P Pedroza
JUAN FRANCISCO DIAZ FRIAS
(Asesor)
Temas:
Reachability
Computer science
Heuristic
Formal verification
Programming language
Graph
Specification language
Formal specification
Formal methods
Model checking
Theoretical computer science
Artificial intelligence
Publicado: 2003
Citaciones:
0
Altmétricas:
0
Tesis de posgrado
1
NaN
