Suggested Topics within your search.
Showing 1 - 13 results of 13 for search '"Computer systems Verification."', query time: 0.04s Refine Results
  1. 1
    Systems and software verification : model-checking techniques and tools /
    by Berard, B.
    Published 2001
    Subjects: “…Computer systems Verification.…”
    Book
    Save to List
    Saved in:
  2. 2
    Principles of model checking /
    by Baier, Christel
    Published 2008
    Subjects: “…Computer systems Verification.…”
    Book
    Save to List
    Saved in:
  3. 3
    Reconfigurable system design and verification /
    by Hsiung, Pao-Ann
    Published 2009
    Subjects: “…Computer systems Verification.…”
    Book
    Save to List
    Saved in:
  4. 4
    The inverse method : parametric verification of real-time embedded systems /
    by Andre, Etienne
    Published 2012
    Subjects: “…Computer systems Verification.…”
    Book
    Save to List
    Saved in:
  5. 5
    Principles of model checking
    by Baier, Christel
    Published 2008
    Subjects: “…Computer systems Verification 23863…”
    Book
    Save to List
    Saved in:
  6. 6
    The inverse method parametric verification of real-time embedded systems
    by Andre, Etienne
    Published 2013
    Subjects: “…Computer systems Verification 23863…”
    Book
    Save to List
    Saved in:
  7. 7
    The inverse method parametric verification of real-time embedded systems
    by Andre, Etienne
    Published 2013
    Subjects: “…Computer systems Verification 23863…”
    Book
    Save to List
    Saved in:
  8. 8
    Principles of model checking
    by Baier, Christel
    Published 2008
    Subjects: “…Computer systems Verification 23863…”
    Book
    Save to List
    Saved in:
  9. 9
    Verification of reactive systems : formal methods and algorithms /
    by Schneider, Klaus, 1967-
    Published 2004
    Subjects: “…Computer systems Verification.…”
    Book
    Save to List
    Saved in:
  10. 10
    Reconfigurable system design and verification
    by Hsiung, Pao-Ann
    Published 2009
    Subjects: “…Computer systems Verification 23863…”
    Book
    Save to List
    Saved in:
  11. 11
    Model checking and artificial intelligence 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised selected and invited papers /
    Published 2009
    Subjects: “…Computer systems Verification Congresses.…”
    Click here to view the full text content
    eBook
    Save to List
    Saved in:
  12. 12
    Reconfigurable system design and verification
    by Hsiung, Pao-Ann
    Published 2009
    Subjects: “…Computer systems Verification 23863…”
    Book
    Save to List
    Saved in:
  13. 13
    Verification and control of hybrid systems a symbolic approach /
    by Tabuada, Paulo
    Published 2009
    Subjects: “…Computer systems Verification…”
    Click here to view the full text content
    eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search