Skip to main content

"DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS"