Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components.

Elvinia Riccobene, Patrizia Scandurra

Browse the full ICSoft paper archive.