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
Swee Balachandran
Langley Research Center
Perfil externo:
Citaciones:
1
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...
Cargando información...
1 Producto
Más citado
CSV
API
Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study
Acceso Cerrado
CAP_LIB-CAP_LIB_C
ID Minciencias: CAP_LIB-0000287741-91
Marco A Feliu
Hernan Camilo Rocha Nino
Swee Balachandran
Temas:
Executable
Computer science
Reachability
Model checking
Formal verification
Programming language
Software engineering
Formal methods
Software verification
Rewriting
Software architecture
Software development
Formal specification
Software
State space
Software construction
Theoretical computer science
Mathematics
Statistics
Publicado: 2017
Citaciones:
1
Altmétricas:
0
Capítulo de libro
1
NaN
