skip to main content
article
Free Access

A software testbed for advanced projects in real-time and distributed computing

Published:01 March 1993Publication History
First page image

References

  1. 1 Cooling, J. E., Software Design for Real-Time Systems, Chapman and Hall, 1991. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2 Fuhrt, B., et al, Real. Time Uniz Systems: Design and Application Guide, Kluwer Academic, 1991.Google ScholarGoogle Scholar
  3. 3 Hooman, J., Specification and Compositional Verification of Real-Time Systems, Springer-Verlag, 1991. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 Krishna, C.M. and Lee, Y.H., "Real-time systems," guest editor's introduction, IEEE Computer, May 1991. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle Scholar
  6. 6 van Tilborg, A. M. and Koob, G. M., editors, Foundations of Real-Time Computing, Kluwer Academic, 1991 (two volumes). Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. A software testbed for advanced projects in real-time and distributed computing

                  Recommendations

                  Comments

                  Login options

                  Check if you have access through your login credentials or your institution to get full access on this article.

                  Sign in

                  Full Access

                  • Published in

                    cover image ACM SIGCSE Bulletin
                    ACM SIGCSE Bulletin  Volume 25, Issue 1
                    March 1993
                    307 pages
                    ISSN:0097-8418
                    DOI:10.1145/169073
                    Issue’s Table of Contents
                    • cover image ACM Conferences
                      SIGCSE '93: Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
                      April 1993
                      311 pages
                      ISBN:0897915658
                      DOI:10.1145/169070
                      • Chairmen:
                      • Bruce J. Klein,
                      • Cary Laxer,
                      • Frank H. Young

                    Copyright © 1993 ACM

                    Publisher

                    Association for Computing Machinery

                    New York, NY, United States

                    Publication History

                    • Published: 1 March 1993

                    Check for updates

                    Qualifiers

                    • article

                  PDF Format

                  View or Download as a PDF file.

                  PDF

                  eReader

                  View online with eReader.

                  eReader
                  About Cookies On This Site

                  We use cookies to ensure that we give you the best experience on our website.

                  Learn more

                  Got it!