Publisher's Synopsis
The proceedings from the June 2000 conference in Delft (The Netherlands) feature 26 papers on scheduling, worst-case execution time analysis, communications, design, formal systems, and kernels. Special attention is given to issues of specification, application, software, and hardware. An address on the control of lithographic equipment is also inc