|
|
|
|
|
|
|
|
|
|
|
|
|
hal-02061818v1
Book sections
Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat et al. Synoptic: a domain-specific modeling language for space on-board application softwareSynthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩
|
|
|
|
|