Changes between Version 56 and Version 57 of AADL


Ignore:
Timestamp:
Jul 3, 2017 10:31:27 AM (18 months ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • AADL

    v56 v57  
    5757 * [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/AADL/PacemakerTests.pdf Validation documentation] 
    5858 
     59=== modelling SADT with AADL Call Sequences === 
     60 * [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/AADL/sadt.pdf illustration] 
     61 
     62 
    5963[[BR]] [wiki:AADL#AADL Back to the top of the page].