Özer Ciftcioglu. Verification and Validation in the Life-Cycle of Real-Time Software Development. In Wolfgang A. Halang, Alexander D. Stoyenko, editors, Real Time Computing, Proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5-17, 1992. Volume 127 of NATO ASI Series, pages 678-679, Springer, 1992. [doi]
Abstract is missing.