Horst Wedde. Can Formal Methods be Integrated into Real-Time Object-Oriented Design? Response to J. de la Puente s Contribution. Real-Time Systems, 18(1):85-87, 2000.
@article{Wedde00a, title = {Can Formal Methods be Integrated into Real-Time Object-Oriented Design? Response to J. de la Puente s Contribution}, author = {Horst Wedde}, year = {2000}, tags = {design}, researchr = {https://researchr.org/publication/Wedde00a}, cites = {0}, citedby = {0}, journal = {Real-Time Systems}, volume = {18}, number = {1}, pages = {85-87}, }