Modal Contracts for Component-based Design

Type de document :
Communication dans un congrès
SEFM'09, Nov 2009, Hanoi, Vietnam. IEEE, pp.295-303, 2009
Liste complète des métadonnées

https://hal.inria.fr/hal-00665205
Contributeur : Gregor Gössler <>
Soumis le : mercredi 1 février 2012 - 13:58:09
Dernière modification le : mercredi 23 mai 2018 - 17:58:06

Identifiants

  • HAL Id : hal-00665205, version 1

Collections

Citation

Gregor Gössler, Jean-Baptiste Raclet. Modal Contracts for Component-based Design. SEFM'09, Nov 2009, Hanoi, Vietnam. IEEE, pp.295-303, 2009. 〈hal-00665205〉

Partager

Métriques

Consultations de la notice

179