Műegyetemi Digitális Archívum

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity