|
|||||||||||||||||||||||||||||||||||||
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) | |||||||||||||||||||||||||||||||||||||
|
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 |