Proceedings

Front Cover
Sten F. Andler, Michael Gerard Hinchey, Jeff Offutt
IEEE Computer Society Press, Jul 1, 2001 - Computers - 281 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A Model for RealTime System Specification
4
TILCOX an Extension of TILCO Temporal Logic
15
OnLine Scheduling of RealTime Distributed Computers with
26
Copyright

16 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information