Logical-time contracts for reactive embedded components - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Logical-time contracts for reactive embedded components

Lionel Morel
Florence Maraninchi
Fichier non déposé

Dates et versions

hal-00293125 , version 1 (03-07-2008)

Identifiants

Citer

Lionel Morel, Florence Maraninchi. Logical-time contracts for reactive embedded components. Euromicro Conference, 2004. Proceedings. 30th, Sep 2004, Rennes, France. pp.48 - 55, ⟨10.1109/EURMIC.2004.1333355⟩. ⟨hal-00293125⟩
62 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More