![]() |
![]() |
|
||
---|---|---|
hal-00624134v1
Conference papers
Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software FM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩ |
||
hal-02061818v1
Book sections
Synoptic: a domain-specific modeling language for space on-board application software Synthesis 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⟩ ![]() |
||
|