Case study on formally describing the architecture of a Software-intensive System-of-Systems with SosADL.

Flvio Oquendo

Browse the full SMC paper archive.