TADL - An Architecture Description Language for Trustworthy Component-Based Systems.

Mubarak Mohammad, Vasu S. Alagar

Browse the full ECSA paper archive.