Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study.

Mert Ozkaya, Christos Kloukinas

Browse the full MODELSWARD paper archive.