WCEE2012_2403
CSEP504: Advanced topics in software systems Software architecture: design-based –Formal reasoning about properties –Static vs. dynamic architectures Software.
The Silicon Drift Detector of ALICE