Communication Dans Un Congrès
Année : 2015
Jean-Pierre Talpin : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01241806
Soumis le : vendredi 11 décembre 2015-08:53:55
Dernière modification le : mardi 27 août 2024-12:46:22
Dates et versions
Identifiants
- HAL Id : hal-01241806 , version 1
Citer
Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla. Towards refinement types for time-dependent data-flow networks. ACM-IEEE Conference on Methods and Models for System Design, Sep 2015, Austin, United States. ⟨hal-01241806⟩
Collections
186
Consultations
0
Téléchargements