Towards refinement types for time-dependent data-flow networks

Type de document :
Communication dans un congrès
IEEE Computer Society. ACM-IEEE Conference on Methods and Models for System Design, Sep 2015, Austin, United States. 2015, 〈htp://memocode.irisa.fr〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01241806
Contributeur : Jean-Pierre Talpin <>
Soumis le : vendredi 11 décembre 2015 - 08:53:55
Dernière modification le : mardi 16 janvier 2018 - 15:54:23

Identifiants

  • HAL Id : hal-01241806, version 1

Citation

Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla. Towards refinement types for time-dependent data-flow networks. IEEE Computer Society. ACM-IEEE Conference on Methods and Models for System Design, Sep 2015, Austin, United States. 2015, 〈htp://memocode.irisa.fr〉. 〈hal-01241806〉

Partager

Métriques

Consultations de la notice

370