Resultados da busca - "Program verification (Computers)"

  1. 1
    Imagem da capa

    Formal methods of V&V of partial specifications an experience report / by Steve Easterbrook and Jack Callahan. [microform] :

    Publicado em 1997
    Livro

    Salvar na lista
    Na minha lista:
  2. 2
    Imagem da capa

    RIACS workshop on the verification and validation of autonomous and adaptive systems Charles Pecheur, Willem Visser, Reid Simmons. [microform] /

    Publicado em 2001
    Livro

    Salvar na lista
    Na minha lista:
  3. 3
    Imagem da capa

    The formal semantics of PVS Sam Owre and Natarajan Shankar. [microform] /

    Publicado em 1999
    Livro

    Salvar na lista
    Na minha lista:
  4. 4
    Imagem da capa

    The global coronal structure investigation NASA grant NAG5-5075 : annual report for the period 1 April 1997 through 31 March 1998 / principal investigator, Leon Golub. [microform]...

    Publicado em 1998
    Livro

    Salvar na lista
    Na minha lista:
  5. 5
    Imagem da capa

    Flight guidance system validation using SPIN Dimitri Naydich and John Nowakowski. [microform] /

    Publicado em 1998
    Livro

    Salvar na lista
    Na minha lista:
  6. 6
    Imagem da capa

    A practical approach to implementing real-time semantics Gerald Lüttgen, Girish Bhat, Rance Cleaveland. [microform] /

    Publicado em 1999
    Livro

    Salvar na lista
    Na minha lista:
  7. 7
    Imagem da capa

    Formal verification of the AAMP-FV microcode Steven P. Miller [and others]. [microform] /

    Publicado em 1999
    Livro

    Salvar na lista
    Na minha lista:
  8. 8
    Imagem da capa

    Experiences using formal methods for requirements modeling by Steve Easterbrook [and others]. [microform] /

    Publicado em 1996
    Livro

    Salvar na lista
    Na minha lista:
  9. 9
    Imagem da capa

    The applicability of proposed object-oriented metrics to developer feedback in time to impact development by Ralph D. Neal. [microform] /

    Publicado em 1996
    Livro

    Salvar na lista
    Na minha lista:
  10. 10
    Imagem da capa

    Formal methods for verification and validation of partial specifications a case study / by Steve Easterbrook and John Callahan. [microform] :

    Publicado em 1997
    Livro

    Salvar na lista
    Na minha lista:
  11. 11
    Imagem da capa

    Kodiak : an implementation framework for branch and bound algorithms / Andrew P. Smith [and three others].

    Publicado em July 2015
    Livro

    Salvar na lista
    Na minha lista:
  12. 12
    Imagem da capa

    Achieving agreement in three rounds with bounded-Byzantine faults / Mahyar R. Malekpour.

    Publicado em August 2015
    Livro

    Salvar na lista
    Na minha lista:
  13. 13
    Imagem da capa

    NASA software engineering benchmarking study / Heather L. Rarick [and four others].

    Publicado em 2013
    Livro

    Salvar na lista
    Na minha lista:
  14. 14
    Imagem da capa

    NASA software engineering benchmarking study / Heather L. Rarick [and four others].

    Publicado em 2013
    Livro

    Salvar na lista
    Na minha lista:
  15. 15
    Imagem da capa

    Automated verification of specifications with typestates and access permissions / Radu I. Siminiceanu, Néstor Cataño.

    Publicado em 2011
    Livro

    Salvar na lista
    Na minha lista:
  16. 16
    Imagem da capa

    Baseline assessment and prioritization framework for IVHM integrity assurance enabling capabilities / Eric G. Cooper [and others].

    Publicado em 2009
    Livro

    Salvar na lista
    Na minha lista:
  17. 17
    Imagem da capa

    A criteria standard for conflict resolution : a vision for guaranteeing the safety of self-separation in NextGen / César Muñoz [and others].

    Publicado em 2010
    Livro

    Salvar na lista
    Na minha lista:
  18. 18
    Imagem da capa

    A methodology for the design and verification of globally asynchronous/locally synchronous architectures / Steven P. Miller [and others].

    Publicado em 2005
    Livro

    Salvar na lista
    Na minha lista:
  19. 19
    Imagem da capa

    A methodology for evaluating artifacts produced by a formal verification process / Radu I. Siminiceanu, Paul S. Miner and Suzette Person.

    Publicado em 2011
    Livro

    Salvar na lista
    Na minha lista:
  20. 20
    Imagem da capa

    Development of a flight software testing methodology : final report / Edward J. McCluskey and Dorothy M. Andrews.

    Publicado em 1985
    Livro

    Salvar na lista
    Na minha lista:

Ferramentas de busca: