Arama Sonuçları - "Program verification (Computers)"

  1. 1
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1997
    Kitap

    Favorilerime ekle
    Kaydedildi:
  2. 2
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 2001
    Kitap

    Favorilerime ekle
    Kaydedildi:
  3. 3
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1999
    Kitap

    Favorilerime ekle
    Kaydedildi:
  4. 4
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1999
    Kitap

    Favorilerime ekle
    Kaydedildi:
  5. 5
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1998
    Kitap

    Favorilerime ekle
    Kaydedildi:
  6. 6
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1998
    Kitap

    Favorilerime ekle
    Kaydedildi:
  7. 7
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1999
    Kitap

    Favorilerime ekle
    Kaydedildi:
  8. 8
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1996
    Kitap

    Favorilerime ekle
    Kaydedildi:
  9. 9
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1996
    Kitap

    Favorilerime ekle
    Kaydedildi:
  10. 10
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1997
    Kitap

    Favorilerime ekle
    Kaydedildi:
  11. 11
    Kapak Resmi

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

    Baskı/Yayın Bilgisi August 2015
    Kitap

    Favorilerime ekle
    Kaydedildi:
  12. 12
    Kapak Resmi

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

    Baskı/Yayın Bilgisi July 2015
    Kitap

    Favorilerime ekle
    Kaydedildi:
  13. 13
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 2009
    Kitap

    Favorilerime ekle
    Kaydedildi:
  14. 14
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 2011
    Kitap

    Favorilerime ekle
    Kaydedildi:
  15. 15
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 1985
    Kitap

    Favorilerime ekle
    Kaydedildi:
  16. 16
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 2005
    Kitap

    Favorilerime ekle
    Kaydedildi:
  17. 17
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 2010
    Kitap

    Favorilerime ekle
    Kaydedildi:
  18. 18
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 2011
    Kitap

    Favorilerime ekle
    Kaydedildi:
  19. 19
    Kapak Resmi

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

    Baskı/Yayın Bilgisi 2013
    Kitap

    Favorilerime ekle
    Kaydedildi:
  20. 20
    Kapak Resmi

    METCAN verification status C.C. Chamis ... [et al.]. [microform] /

    Baskı/Yayın Bilgisi 1990
    Kitap

    Favorilerime ekle
    Kaydedildi:

Arama Araçları: