References
Verhoosel, J. P. C. et al., 1995. A model for scheduling of object-based distributed real-time systems. Real-Time Systems 8(1).
Wedde, H. F., and Lind, J. A. 1997. Building large, complex, distributed safety-critical systems. Real-Time Systems 13(3).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wedde, H.F. Can Formal Methods be Integrated into Real-Time Object-Oriented Design? Response to J. de la Puente's Contribution. Real-Time Systems 18, 85–87 (2000). https://doi.org/10.1023/A:1008162829689
Issue Date:
DOI: https://doi.org/10.1023/A:1008162829689