An Architecture Description Language for Verification in Component-Based Software.

Ahcene Bouzoualegh, Dominique Marcadet, Frdric Boulanger, Christophe Jacquet

Browse the full COMPSAC paper archive.