Changes between Version 56 and Version 57 of AADL
- Timestamp:
- Jul 3, 2017 10:31:27 AM (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
AADL
v56 v57 57 57 * [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/AADL/PacemakerTests.pdf Validation documentation] 58 58 59 === modelling SADT with AADL Call Sequences === 60 * [http://www.ellidiss.fr/public/wiki/raw-attachment/wiki/AADL/sadt.pdf illustration] 61 62 59 63 [[BR]] [wiki:AADL#AADL Back to the top of the page].