|
||
---|---|---|
hal-02270356v1
Conference papers
Behavioural descriptions in architecture description languages Application to AADL Conference ERTS'06, Jan 2006, Toulouse, France |
||
hal-02271255v1
Conference papers
The COTRE Project: How to model and verify Real Time Architecture? 2nd Embedded Real Time Software Congress (ERTS'04), Jan 2004, Toulouse, France |
||
|