Changes between Version 52 and Version 53 of AADL


Ignore:
Timestamp:
04/23/16 07:55:02 (8 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AADL

    v52 v53  
    5757
    5858=== Pacemaker ===
    59  * Design documentation
    60  * AADL source code
    61  * Validation documentation
     59 * [http://www.ellidiss.fr/public/wiki/attachment/wiki/AADL/Pacemaker.pdf Design documentation]
     60 * [http://www.ellidiss.fr/public/wiki/attachment/wiki/AADL/Pacemaker.aadl AADL source code]
     61 * [http://www.ellidiss.fr/public/wiki/attachment/wiki/AADL/PacemakerTests.pdf Validation documentation]
    6262
    6363[[BR]] [wiki:AADL#AADL Back to the top of the page].