Uni�n Internacional de Telecomunicaciones � UIT
English� Fran�ais
�
Mapa Cont�ctenos Copia Imprimible
� P�gina principal : UIT-T : SG16 : Documentos Temporales�(Reuni�n�2023-07-10) : 187-PLEN Nuevo�-� Busque los documentos de la reuni�n
� �
[187-PLEN]� Consent: F.751.12 (ex H.DLT-VERI) "Formal verification framework for smart contract on distributed ledger technology" (New)

Formato

Tama�o

Puesta a disposici�n

English

Word �

306421 octetos 2023-07-21 [187-PLEN]�
�

Documento :

UIT-T�SG16� (Periodo de estudios 2022)� Documento Temporale� 187-PLEN

T�tulo :

Consent: F.751.12 (ex H.DLT-VERI) "Formal verification framework for smart contract on distributed ledger technology" (New)

Recibido en :

2023-07-21

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-21		 �