Architectural design of adaptive distributed multimedia systemsTest result analysis with respect to formal specifications
