Vol-3429⫷ Vol-3430 ⫸Vol-3431
urn:nbn:de:0074-3430-0


Vol-3430/paper6⫷Vol-3430/paper7⫸Vol-3430/paper8

Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform