Publisher's Synopsis
Proceedings of the December 2000 conference that brought together researchers and developers from academia and industry world wide for advancing the technology of real-time computing systems and applications. The eight sessions included four invited talks, 41 regular papers and 28 short contributions that discussed formal methods, real-time systems