Version 3 (modified by 5 years ago) ( diff ) | ,
---|
LAMP
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)
- lamp.png (305 bytes ) - added by 5 years ago.
- lampstack.png (33.7 KB ) - added by 3 years ago.
Download all attachments as: .zip
Note:
See TracWiki
for help on using the wiki.