Chapitre D'ouvrage
Année : 2006
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01351785
Soumis le : jeudi 4 août 2016-17:02:37
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01351785 , version 1
Citer
Jérôme Hugues, Fabrice Kordon, Laurent Pautet. Construction d'un intergiciel vérifié. Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.265-287, 2006, 2-7462-1447-4. ⟨hal-01351785⟩
Collections
64
Consultations
0
Téléchargements