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.

Abstract

Abstract is missing.