[249-WP2] H.DLT-VERI "Formal verification framework for smart contract on distributed ledger technology"(New): Initial text(Geneva, 7-17 October 2019)

Unión Internacional de Telecomunicaciones

UIT

English Français

Página principal : UIT-T : SG 16 : Documentos Temporales (Reunión 2019-10-07) : 249-WP2

Nuevo - Busque los documentos de la reunión

[249-WP2] H.DLT-VERI "Formal verification framework for smart contract on distributed ledger technology"(New): Initial text(Geneva, 7-17 October 2019)

	Formato	Tamaño	Puesta a disposición

English	Word	160192 octetos	2019-10-16	[249-WP2]

Documento :	UIT-T SG 16 (Periodo de estudios 2017) Documento Temporale 249-WP2
Título :	H.DLT-VERI "Formal verification framework for smart contract on distributed ledger technology"(New): Initial text(Geneva, 7-17 October 2019)
Recibido en :	2019-10-16
Origen :	Editor H.DLT-VERI
AI/Cuestión :	Q22/16
Disponibilidad :	Restringido a usuarios de TIES [UIT-T]

Comienzo de la página - Comentarios - Contáctenos - Copyright © UIT 2008 Reservados todos los derechos
Contacto público : TSB EDH
Actualizado el : 2019-10-16