Sécurisation de services via des techniques de healing et d'encapsulations

Type
Publication
journée Approches Formelles dans l’Assistance au Développement de Logiciels - AFADL 2024, journées du GDR-GPL