[337-WP2] H.DLT-VERI "Formal verification framework for smart contract on distributed ledger technology" (New): Output draft (Virtual meeting, 22 June - 3 July 2020)

Unión Internacional de Telecomunicaciones

UIT

English Français

Página principal : UIT-T : SG 16 : Documentos Temporales (Reunión 2020-06-22) : 337-WP2

Nuevo - Busque los documentos de la reunión

[337-WP2] H.DLT-VERI "Formal verification framework for smart contract on distributed ledger technology" (New): Output draft (Virtual meeting, 22 June - 3 July 2020)

	Formato	Tamaño	Puesta a disposición

English	Word	163526 octetos	2020-07-02	[337-WP2]

Documento :	UIT-T SG 16 (Periodo de estudios 2017) Documento Temporale 337-WP2
Título :	H.DLT-VERI "Formal verification framework for smart contract on distributed ledger technology" (New): Output draft (Virtual meeting, 22 June - 3 July 2020)
Recibido en :	2020-07-02
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 : 2020-07-02