Modal Contracts for Component-based Design

Gregor Gössler 1, 2 Jean-Baptiste Raclet 1, 3
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 LIG - Laboratoire d'Informatique de Grenoble
3 IRIT - Institut de recherche en informatique de Toulouse
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 : jeudi 11 octobre 2018 - 08:48:03

Identifiants

  • HAL Id : hal-00665205, version 1

Collections

UNIV-TLSE2 | UNIV-TLSE3 | INRIA | LIG | UGA | LIG_SRCPR | SMS

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

250

Contact


archive-ouverte@inria.fr