Kết quả tìm kiếm - "Program verification (computers)"

  1. 1
    Ảnh bìa

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

    Được phát hành 1997
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  2. 2
    Ảnh bìa

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

    Được phát hành 2001
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  3. 3
    Ảnh bìa

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

    Được phát hành 1999
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  4. 4
    Ảnh bìa

    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]...

    Được phát hành 1998
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  5. 5
    Ảnh bìa

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

    Được phát hành 1998
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  6. 6
    Ảnh bìa

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

    Được phát hành 1999
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  7. 7
    Ảnh bìa

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

    Được phát hành 1999
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  8. 8
    Ảnh bìa

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

    Được phát hành 1996
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  9. 9
    Ảnh bìa

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

    Được phát hành 1996
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  10. 10
    Ảnh bìa

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

    Được phát hành 1997
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  11. 11
    Ảnh bìa

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

    Được phát hành July 2015
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  12. 12
    Ảnh bìa

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

    Được phát hành August 2015
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  13. 13
    Ảnh bìa

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

    Được phát hành 2013
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  14. 14
    Ảnh bìa

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

    Được phát hành 2013
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  15. 15
    Ảnh bìa

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

    Được phát hành 2009
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  16. 16
    Ảnh bìa

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

    Được phát hành 2010
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  17. 17
    Ảnh bìa

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

    Được phát hành 2005
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  18. 18
    Ảnh bìa

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

    Được phát hành 2011
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  19. 19
    Ảnh bìa

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

    Được phát hành 1985
    Sách

    Lưu vào danh sách
    Đã lưu trong:
  20. 20
    Ảnh bìa

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

    Được phát hành 2011
    Sách

    Lưu vào danh sách
    Đã lưu trong:

Công cụ tìm kiếm: