Union Internationale des Télécommunications   UIT
English  Español
 
Plan du site Contactez-nous Copie Imprimable
  Page d'accueil : UIT-T : SG 16 : Documents Temporaires (Réunion 2019-10-07) : 249-WP2 Ajoutés récemment -  Recherche de documents de réunion
   
[249-WP2]  H.DLT-VERI "Formal verification framework for smart contract on distributed ledger technology"(New): Initial text(Geneva, 7-17 October 2019)

Format

Taille

Mise à disposition

English

Word  

160192 octets 2019-10-16 [249-WP2] 
 

Document :

UIT-T SG 16  (Période d'études 2017)  Document Temporaire  249-WP2

Titre :

H.DLT-VERI "Formal verification framework for smart contract on distributed ledger technology"(New): Initial text(Geneva, 7-17 October 2019)

Reçu le :

2019-10-16

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 : 2019-10-16