Formal Specification of Communication Protocols with Object-Based ECATNets
Résumé
Voir le lien ici
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125437
Soumis le : vendredi 6 mars 2015-11:09:35
Dernière modification le : vendredi 19 juillet 2024-11:38:04