Resultados da pesquisa - "Computer software Verification Congresses."

  • A mostrar 1 - 4 resultados de 4
Refinar resultados
  1. 1

    Software safety and security tools for analysis and verification /

    Publicado em 2012
    Assuntos: “...Computer software Verification Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico Conference Proceeding livro electrónico
  2. 2

    Engineering dependable software systems /

    Publicado em 2013
    Assuntos: “...Computer software Verification Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico Conference Proceeding livro electrónico
  3. 3

    Dependable software systems engineering /

    Publicado em 2015
    Assuntos: “...Computer software Verification Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico livro electrónico
  4. 4

    Verification of infinite-state systems with applications to security

    Publicado em 2006
    Assuntos: “...Computer software Verification Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Electrónico Conference Proceeding livro electrónico