[127-WP1]� F.751.12 (ex H.DLT-VERI) "Formal verification framework for smart contract on distributed ledger technology" (New): Output draft (for Consent)

�

English� Fran�ais

�

P�gina principal : UIT-T : SG16 : Documentos Temporales�(Reuni�n�2023-07-10) : 127-WP1

Nuevo�-� Busque los documentos de la reuni�n

�

[127-WP1]� F.751.12 (ex H.DLT-VERI) "Formal verification framework for smart contract on distributed ledger technology" (New): Output draft (for Consent)

	Formato	Tama�o	Puesta a disposici�n

English	Word �	461415 octetos	2023-07-20	[127-WP1]�

�

Documento :	UIT-T�SG16� (Periodo de estudios 2022)� Documento Temporale� 127-WP1
T�tulo :	F.751.12 (ex H.DLT-VERI) "Formal verification framework for smart contract on distributed ledger technology" (New): Output draft (for Consent)
Recibido en :	2023-07-13
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 :�2023-07-20

�