Advertisement

Real-Time Systems

, Volume 18, Issue 1, pp 85–87 | Cite as

Can Formal Methods be Integrated into Real-Time Object-Oriented Design? Response to J. de la Puente's Contribution

  • Horst F. Wedde
Article
  • 29 Downloads

Keywords

Operating System Formal Method Computing Methodology 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Verhoosel, J. P. C. et al., 1995. A model for scheduling of object-based distributed real-time systems. Real-Time Systems 8(1).Google Scholar
  2. Wedde, H. F., and Lind, J. A. 1997. Building large, complex, distributed safety-critical systems. Real-Time Systems 13(3).Google Scholar

Copyright information

© Kluwer Academic Publishers 2000

Authors and Affiliations

  • Horst F. Wedde
    • 1
  1. 1.Informatik IIIUniversity of DortmundDORTMUNDGermany

Personalised recommendations