Drilldown: references

references > author

: D. Galin

or T. Gilb

or W.G. Vincenti

or None

or E. Horowitz et al.

or E.W. Cheney and D.R. Kincaid

or IEEE Std.

or INCOSE

or ISO

or J.G. Brookshear

or Merriam-Webster’s Collegiate Dictionary

or N.A. Maiden and C. Ncube

or S. Friedenthal, A. Morre, and R. Steiner

& article

: “A Specifier’s Introduction to Formal Methods”

or None

& publication

: IEEE Std. 1012-2012 Standard for System and Software Verification and Validation

or Intellectual Property Law for Business Lawyers

or Software Testing and Quality Assurance: Theory and Practice

& publisher

: IEEE

or Pearson Education Limited

or Springer

or Taylor & Francis

or Wiley

or World Scientific Publishing

& date

: 1981

or 2001

Click on the filter values below to narrow your results.

(There are no values for this filter)

There are no results for this report.

Navigation menu