Showing 41 - 50 results of 242 for search '"Verification."', query time: 0.02s Refine Results
  1. 41

    Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers
  2. 42

    Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011: proceedings

    Published 2011
    Available for University of the Philippines Diliman via Springerlink. Click here to access
    Electronic Resource

    Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011: proceedings
  3. 43

    Model checking and artificial intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Model checking and artificial intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
  4. 44

    Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
  5. 45

    Verification, model checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Verification, model checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings
  6. 46

    The simple art of SoC design closing the gap between RTL and ESL by Keating, Michael 1950-

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    The simple art of SoC design closing the gap between RTL and ESL
  7. 47

    PRC launches online verification system by Jaymalin, Mayen

    Published in Philippine Star (2010)
    Article

    PRC launches online verification system
  8. 48

    Software verification and analysis an integrated, hands-on approach by Laski, Janusz

    Published 2009
    Book

    Software verification and analysis an integrated, hands-on approach
  9. 49

    Data flow analysis theory and practice by Khedker, Uday

    Published 2009
    Book

    Data flow analysis theory and practice
  10. 50

    Verification and validation of 3D free-surface flow models

    Published 2009
    Available for University of the Philippines Diliman College of Engineering via ASCE Library. Click here to access
    Also available remotely for University of the Philippines Diliman College of Engineering via ASCE Library. Click here to access thru EZproxy
    Electronic Resource

    Verification and validation of 3D free-surface flow models

Search Tools: