Ohcanbohtosat - "Software Validation"

  1. 1
    Bearbmagovva

    Software validation, verification, testing, and documentation / edited by Stephen J. Andriole.

    Almmustuhtton c1986
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  2. 2
    Bearbmagovva

    Planning for software validation, verification, and testing Patricia B. Powell, editor. [microform] /

    Almmustuhtton 1982
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  3. 3
    Bearbmagovva

    Embedded systems and software validation / Abhik Roychoudhury.

    Almmustuhtton ©2009
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  4. 4
    Bearbmagovva

    Space shuttle, NASA should implement independent oversight of software development : report to the chairman, Committee on Science, Space, and Technology, House of Representatives.

    Almmustuhtton 1991
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  5. 5
    Bearbmagovva

    Software validation, verification, and testing technique and tool reference guide Patricia B. Powell, editor. [microform] /

    Almmustuhtton 1982
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  6. 6
    Bearbmagovva

    General principles of software validation : final guidance for industry and FDA staff.

    Almmustuhtton 2002
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  7. 7
    Bearbmagovva

    New trends in software methodologies, tools and techniques : proceedings of the fifth SoMeT 06 / edited by Hamido Fujita and Mohamed Mejri.

    Almmustuhtton ©2006
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  8. 8
    Bearbmagovva

    Software validation, verification, and testing technique and tool reference guide / Patricia B. Powell.

    Almmustuhtton 1982
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  9. 9
    Bearbmagovva

    Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / Roberto Giacobazzi, Josh Berd...

    Almmustuhtton ©2013
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  10. 10
    Bearbmagovva

    Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish...

    Almmustuhtton 2013
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  11. 11
    Bearbmagovva

    Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice...

    Almmustuhtton ©2013
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  12. 12
    Bearbmagovva

    Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / Paulo Borba...

    Almmustuhtton ©2010
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  13. 13
    Bearbmagovva

    Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / Gilles Barthe, Manuel Herm...

    Almmustuhtton ©2010
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  14. 14
    Bearbmagovva

    Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings / Neil D. Jones, Markus...

    Almmustuhtton ©2009
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  15. 15
    Bearbmagovva

    Tools and algorithms for the construction and analysis of systems : 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice...

    Almmustuhtton ©2010
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  16. 16
    Bearbmagovva

    Software verification and validation : an engineering and scientific approach / by Marcus S. Fisher.

    Almmustuhtton ©2007
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  17. 17
    Bearbmagovva

    Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings...

    Almmustuhtton 2013
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  18. 18
    Bearbmagovva

    Testing software and systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulr...

    Almmustuhtton 2013
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  19. 19
    Bearbmagovva

    Testing--practice and research techniques : 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010 : proceedings / Leonardo Bottaci,...

    Almmustuhtton ©2010
    Girji

    Lasit oiddohiidda
    Furkejuvvon:
  20. 20
    Bearbmagovva

    Hardware and software : verification and testing ; 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / Armin Bie...

    Almmustuhtton 2013
    Girji

    Lasit oiddohiidda
    Furkejuvvon:

Ohcanreaiddut: