Architectural Specification and Analysis of the Aegis Combat System.

Mert Ozkaya

Browse the full SoMeT paper archive.