Formal approach to QoS specification and verification

Jan de Meer, Axel Rennoch, Jörg Burmeister. Formal approach to QoS specification and verification. In Ann Gawman, Evelyn Kidd, Per-Åke Larson, editors, Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes. pages 108-119, IBM, 1993. [doi]

Authors

Jan de Meer

This author has not been identified. Look up 'Jan de Meer' in Google

Axel Rennoch

This author has not been identified. Look up 'Axel Rennoch' in Google

Jörg Burmeister

This author has not been identified. Look up 'Jörg Burmeister' in Google