Version 3 (modified by pdissaux, 2 years ago) ( diff )



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

Attachments (2)

Download all attachments as: .zip

Note: See TracWiki for help on using the wiki.