BLOQUES
Contratos Inteligentes y Blockchains Escalables y Seguros mediante Verificación y Análisis
S2018/TCS-4339 (BLOQUES-CM)
| Descripción |
| Resumen |
| Palabras clave |
| Grupos de investigación |
| Objetivos investigación |
| Resultados |
| Difusión |
| Ofertas de empleo |
| Contacto |
| Programa Anterior | |
| PROMESAS | |
| PROMETIDOS | |
| N-GREENS | |
| Soporte | |
| |
| |
| |
| Destacados | |
| Últimas novedades empleo | |
| Últimas novedades noticias | |
Palabras clave
- Blockchain
- Contratos inteligentes (Smart contracts)
- Verificación (Verification)
- Seguridad (Security)
- Pruebas (Testing)
- Escalabilidad (Scalability)