Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components.

Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi

Browse the full ICECCS paper archive.