Accéder directement au contenu Accéder directement à la navigation
Poster

Model-driven approach for the design of multi-chain smart contracts

Ankica Barisic 1 Enlin Zhu 1 Frédéric Mallet 1
1 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Type de document :
Poster
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-03338936
Contributeur : Ankica Barisic Connectez-vous pour contacter le contributeur
Soumis le : jeudi 9 septembre 2021 - 10:47:57
Dernière modification le : mardi 14 septembre 2021 - 12:04:34

Fichier

BRAINS_SmartContract_Poster_.p...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-03338936, version 1

Collections

Citation

Ankica Barisic, Enlin Zhu, Frédéric Mallet. Model-driven approach for the design of multi-chain smart contracts. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Sep 2021, Paris, France. ⟨hal-03338936⟩

Partager

Métriques

Consultations de la notice

23

Téléchargements de fichiers

44