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.

@inproceedings{DoRDC04,
  title = {A testability analysis for data-flow designs of reactive real-time systems},
  author = {Huy-Vu Do and Chantal Robach and Michel Delaunay and Jean-Sébastien Cruz},
  year = {2004},
  tags = {testing, analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/DoRDC04},
  cites = {0},
  citedby = {0},
  pages = {318-323},
  booktitle = {Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA},
  editor = {M. H. Hamza},
  publisher = {IASTED/ACTA Press},
  isbn = {0-88986-425-X},
}