Union Internationale des Télécommunications   UIT
English  Español
 
Plan du site Contactez-nous Copie Imprimable
  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