Arrays and contracts for the specification and analysis of regular systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Arrays and contracts for the specification and analysis of regular systems

Lionel Morel
Florence Maraninchi
Fichier non déposé

Dates et versions

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

Identifiants

Citer

Lionel Morel, Florence Maraninchi. Arrays and contracts for the specification and analysis of regular systems. Application of Concurrency to System Design, 2004. ACSD 2004. Proceedings. Fourth International Conference on, Jun 2004, Hamilton, Canada. pp.57- 66, ⟨10.1109/CSD.2004.1309116⟩. ⟨hal-00293109⟩
96 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More