Communication Dans Un Congrès
Année : 2005
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01489156
Soumis le : mardi 14 mars 2017-11:17:35
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01489156 , version 1
Citer
Jérôme Hugues, Fabrice Kordon, Laurent Pautet. Towards Proof-Based Real-Time Distribution Middleware. 13th International Conference On Real-Time Systems (RTS '05), Apr 2005, Paris, France. pp.51-70. ⟨hal-01489156⟩
Collections
105
Consultations
0
Téléchargements