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

Filter your results

2 Results
authIdHal_s : laurent-pautet
Image document

Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project

J Hugues , Laurent Pautet , B Zalila , P Dissaux , M Perrotin
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270096v1
Image document

Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain

Julien Delange , Jérôme Hugues , Laurent Pautet , Bechir Zalila
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270097v1