
- 1 Cooling, J. E., Software Design for Real-Time Systems, Chapman and Hall, 1991. Google Scholar
Digital Library
- 2 Fuhrt, B., et al, Real. Time Uniz Systems: Design and Application Guide, Kluwer Academic, 1991.Google Scholar
- 3 Hooman, J., Specification and Compositional Verification of Real-Time Systems, Springer-Verlag, 1991. Google Scholar
Digital Library
- 4 Krishna, C.M. and Lee, Y.H., "Real-time systems," guest editor's introduction, IEEE Computer, May 1991. Google Scholar
Digital Library
- 5 Marzullo, K., Schneider, F. and Budhiraja, N., "Derivation of sequential, real-time process-control programs," in Foundations of Real-Time Computing: Formal Specifications and Methods (A.M. van Tilborg and G. M. Koob, eds.), Kluwer Academic, 1991, 39-54.Google Scholar
- 6 van Tilborg, A. M. and Koob, G. M., editors, Foundations of Real-Time Computing, Kluwer Academic, 1991 (two volumes). Google Scholar
Digital Library
Index Terms
A software testbed for advanced projects in real-time and distributed computing
Recommendations
A software testbed for advanced projects in real-time and distributed computing
SIGCSE '93: Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education






Comments