Filter your results
- 2
- 2
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
An ada design pattern recognition tool for AADL performance analysisACM SIGAda Ada Letters, 2011, 31 (3), pp.61-68
Journal articles
hal-00801282v1
|
|||
|
Using AADL to build critical real-time systems: Experiments in the IST-ASSERT projectEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers
insu-02270096v1
|
||
PLATO N-DPU on-board software: an ideal candidate for multicore scheduling analysis11th European Congress ERTSS Embedded Real Time Software and System, 2022, Toulouse, France
Conference papers
hal-03549058v1
|
|||
|
Lithospheric low-velocity zones associated with a magmatic segment of the Tanzanian Rift, East AfricaGeophysical Journal International, 2017, 210 (1), pp.465-481. ⟨10.1093/gji/ggx177⟩
Journal articles
hal-01622078v1
|