wiki:aadlinstance

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.

Index

Instance Model

Properties

Cross References

Behavior Annex


AADL Instances

AADL Properties

AADL References

AADL Behavior

Last modified 20 months ago Last modified on Apr 13, 2017 6:00:42 PM