Expressing and Enforcing User-Defined Constraints of AADL Models.

Olivier Gilles, Jrme Hugues

Browse the full ICECCS paper archive.