Communication Dans Un Congrès
Année : 2015
Ioannis Parissis : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01717444
Soumis le : lundi 26 février 2018-13:17:59
Dernière modification le : mercredi 18 décembre 2024-09:44:11
Dates et versions
Identifiants
- HAL Id : hal-01717444 , version 1
Citer
Tka Mouna, Christophe Deleuze, Ioannis Parissis. Testium: outil de génération automatique de données de test pour les systèmes synchrones. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. ⟨hal-01717444⟩
53
Consultations
0
Téléchargements