[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� Espa�ol

�

Page d'accueil : UIT-T : SG16 : Documents Temporaires�(R�union�2023-07-10) : 127-WP1

Ajout�s r�cemment�-� Recherche de documents de r�union

�

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

	Format	Taille	Mise � disposition

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

�

Document :	UIT-T�SG16� (P�riode d'�tudes 2022)� Document Temporaire� 127-WP1
Titre :	F.751.12 (ex H.DLT-VERI) "Formal verification framework for smart contract on distributed ledger technology" (New): Output draft (for Consent)
Re�u le :	2023-07-13
Source :	Editor H.DLT-VERI
AI/Question :	Q22/16
Disponibilit� :	R�serv� aux utilisateurs TIES�[UIT-T]

D�but de page�-� Commentaires�-� Contactez-nous�-� Droits d'auteur � UIT�2008�Tous droits r�serv�s
Contact pour cette page :� TSB EDH
Mis � jour le :�2023-07-20

�