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 : vendredi 19 avril 2024-16:18:58
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
182
Consultations
0
Téléchargements