|
||
---|---|---|
hal-01278902v1
Journal articles
Towards a verified transformation from AADL to the formal component-based language FIACRE Science of Computer Programming, Elsevier, 2015, vol. 106, pp. 30-53. ⟨10.1016/j.scico.2015.03.003⟩ |
||
hal-01285662v1
Journal articles
Exploring AADL verification tool through model transformation Journal of Systems Architecture, Elsevier, 2015, 61 (3-4), pp.141-156. ⟨10.1016/j.sysarc.2015.02.003⟩ |
||
hal-02106219v1
Journal articles
Formation mechanism of peapod-derived double-walled carbon nanotubes Physical Review B: Condensed Matter and Materials Physics (1998-2015), American Physical Society, 2010, 82 (4), pp.041403. ⟨10.1103/PhysRevB.82.041403⟩ |
||
|