Changes between Version 2 and Version 3 of lamp


Ignore:
Timestamp:
11/17/18 14:32:33 (8 years ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • lamp

    v2 v3  
    33
    44LAMP stands for Logical AADL Model Processing.
     5Its aim is to provide an inline, comprehensive, rigorous, flexible and user friendly solution to explore and analyse AADL models.
     6It is an alternate solution to REAL, LUTE, AGREE and RESOLUTE altogether.
     7