Capturing and Verifying Performance Requirements for Hard Real Time Systems

R. H. Pierce, Sandra Ayache, Roger Ward, John Stevens, Helen Clifton, J. Galle. Capturing and Verifying Performance Requirements for Hard Real Time Systems. In Keith Hardy, James S. Briggs, editors, Reliable Software Technologies - Ada-Europe 97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings. Volume 1251 of Lecture Notes in Computer Science, pages 137-148, Springer, 1997.

Authors

R. H. Pierce

This author has not been identified. Look up 'R. H. Pierce' in Google

Sandra Ayache

This author has not been identified. Look up 'Sandra Ayache' in Google

Roger Ward

This author has not been identified. Look up 'Roger Ward' in Google

John Stevens

This author has not been identified. Look up 'John Stevens' in Google

Helen Clifton

This author has not been identified. Look up 'Helen Clifton' in Google

J. Galle

This author has not been identified. Look up 'J. Galle' in Google