AADL Model Processing Library

This library (AADLModel.sbp) contains a set of prolog rules to access and process an AADL declarative model defined by prolog facts.


Instance Model


Cross References

Behavior Annex

AADL Instances

AADL Properties

AADL References

AADL Behavior

Last modified 4 years ago Last modified on Apr 13, 2017 6:00:42 PM
Note: See TracWiki for help on using the wiki.