Search Results - "model checking"

Suggested Topics within your search.
  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Model checking

    Model checking by Clarke, E. M. 1945-

    Published 1999
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Model checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers

    Model checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers

    Published 2007
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    Systems and software verification model-checking techniques and tools

    Systems and software verification model-checking techniques and tools

    Published 2001
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Verification, model checking, and abstract interpretation 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

    Verification, model checking, and abstract interpretation 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

    Published 2003
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 5
    Generalized Linear Models

    Generalized Linear Models by McCullagh, P. (Peter) 1952-, Nelder, John A.

    Published 1989
    Click Here to View Status and Holdings.
    Manuscript

    Save to List
    Saved in:

Search Tools: