Communication Dans Un Congrès
Année : 2009
Lionel Morel : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00387352
Soumis le : lundi 25 mai 2009-11:10:01
Dernière modification le : jeudi 4 avril 2024-21:31:47
Dates et versions
Identifiants
- HAL Id : hal-00387352 , version 1
Citer
Lionel Morel, Louis Mandel. Executable Contracts for Incremental Prototypes of Embedded Systems. Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), 2007, Portugal. pp.121-135. ⟨hal-00387352⟩
Collections
177
Consultations
0
Téléchargements