Search - INSU - Institut national des sciences de l'Univers Access content directly

Filter your results

2 Results
Structure: Internal structure identifier : 358165
Image document

Combining a High-Level Design Tool for Safety-Critical Systems with a Tool for WCET Analysis on Executables

C Ferdinand , R Heckmann , T Le Sergent , D. Lopes , B Martin , et al.
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270107v1
Image document

SCADE 6 A Model Based Solution For Safety Critical Software Development

François Xavier Dormoy
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270108v1