3 results Refine Results
  1. 1
    יצא לאור 2009
    Connect to electronic resource
    אלקטרוני Conference Proceeding ספר אלקטרוני
    הוספה למועדפים
    שמור ב:
    Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings /
  2. 2
    יצא לאור 2007
    Connect to electronic resource
    אלקטרוני Conference Proceeding ספר אלקטרוני
    הוספה למועדפים
    שמור ב:
    Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
  3. 3
    יצא לאור 2008
    Connect to electronic resource
    אלקטרוני Conference Proceeding ספר אלקטרוני
    הוספה למועדפים
    שמור ב:
    Hardware and software verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /

כלי חיפוש: