A testability analysis for data-flow designs of reactive real-time systems

Huy-Vu Do, Chantal Robach, Michel Delaunay, Jean-S├ębastien Cruz. A testability analysis for data-flow designs of reactive real-time systems. In M. H. Hamza, editor, Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA. pages 318-323, IASTED/ACTA Press, 2004.

Abstract

Abstract is missing.