Результати пошуку - "Software Validation"

  1. 1
    Зображення обкладинки

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

    Опубліковано c1986
    Книга

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

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

    Опубліковано 1982
    Книга

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

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

    Опубліковано 2002
    Книга

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

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

    Опубліковано 1982
    Книга

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

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

    Опубліковано 1982
    Книга

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    Embedded systems and software validation / Abhik Roychoudhury.

    Опубліковано ©2009
    Книга

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

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

    Опубліковано 1991
    Книга

    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

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

    Опубліковано ©2006
    Книга

    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

    The jagged edge of somewhere / by Amy Crofford.

    Опубліковано 2003
    Книга

    Додати у Вибране
    Збережено в:
  10. 10
    Зображення обкладинки

    Methods and procedures for the verification and validation of artificial neural networks / edited by Brian J. Taylor.

    Опубліковано ©2006
    Книга

    Додати у Вибране
    Збережено в:
  11. 11
    Зображення обкладинки

    Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings / Tayssir Touili, Byron Cook, Paul Jackson (eds.).

    Опубліковано ©2010
    Книга

    Додати у Вибране
    Збережено в:
  12. 12
    Зображення обкладинки

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

    Опубліковано ©2013
    Книга

    Додати у Вибране
    Збережено в:
  13. 13
    Зображення обкладинки

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

    Опубліковано 2013
    Книга

    Додати у Вибране
    Збережено в:
  14. 14
    Зображення обкладинки

    Fast software encryption : 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised selected papers / Seokhie Hong, Tetsu Iwata (Eds.).

    Опубліковано ©2010
    Книга

    Додати у Вибране
    Збережено в:
  15. 15
    Зображення обкладинки

    Verification and validation in systems engineering : assessing UML/SysML design models / Mourad Debbabi [and others].

    Опубліковано ©2010
    Книга

    Додати у Вибране
    Збережено в:
  16. 16
    Зображення обкладинки

    Theoretical aspects of computing--ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings / Ana Cavalcanti [and others] (ed...

    Опубліковано 2010
    Книга

    Додати у Вибране
    Збережено в:
  17. 17
    Зображення обкладинки

    Theory and applications of satisfiability testing-- SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / Matti Järvisalo, Allen Van Gelder (e...

    Опубліковано 2013
    Книга

    Додати у Вибране
    Збережено в:
  18. 18
    Зображення обкладинки

    Tests and proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / Margus Veanes, Luca Viganò (eds.).

    Опубліковано ©2013
    Книга

    Додати у Вибране
    Збережено в:
  19. 19
    Зображення обкладинки

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

    Опубліковано 2013
    Книга

    Додати у Вибране
    Збережено в:
  20. 20
    Зображення обкладинки

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

    Опубліковано ©2010
    Книга

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: