Précédent : Actions industrielles Remonter : Actions industrielles Suivant : VIP et DYADE

Collaboration avec le CNET sur les formalisations et la preuve de protocoles

 

Participante : Barbara Heyd

Le protocole ABT/DT a été étudié dans le cadre d'une collaboration avec le CNET-Lannion décrite au paragraphe 3.2.1.