Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL.

Flvio Oquendo

Browse the full ICECCS paper archive.