Resultats de la cerca - "Model Checking"

  1. 1
    Imatge de la portada

    Model checking a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs / Mahyar R. Malekpour.

    Publicat 2011
    Llibre

    Afegir a favorits
    Guardat en:
  2. 2
    Imatge de la portada

    Calculating information leakage using model checking tools / by Jia Chen.

    Publicat July 2014
    Llibre

    Afegir a favorits
    Guardat en:
  3. 3
    Imatge de la portada

    Symbolic model checking / by Kenneth L. McMillan.

    Publicat ©1993
    Llibre

    Afegir a favorits
    Guardat en:
  4. 4
    Imatge de la portada

    Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

    Publicat ©1999
    Llibre

    Afegir a favorits
    Guardat en:
  5. 5
    Imatge de la portada

    Systems and software verification : model-checking techniques and tools / B. Bérard [and others].

    Publicat ©2001
    Llibre

    Afegir a favorits
    Guardat en:
  6. 6
    Imatge de la portada

    Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / Darren Cofer, Alessandr...

    Publicat ©2009
    Llibre

    Afegir a favorits
    Guardat en:
  7. 7
    Imatge de la portada

    Principles of model checking / Christel Baier, Joost-Pieter Katoen.

    Publicat 2008
    Llibre

    Afegir a favorits
    Guardat en:
  8. 8
    Imatge de la portada

    Proceedings of the 2014 International SPIN Symposium on Model Checking of Software

    Publicat 2014
    Llibre

    Afegir a favorits
    Guardat en:
  9. 9
    Imatge de la portada

    Model checking control communication of a FACTS device / by David Andrew Cape.

    Publicat 2006
    Llibre

    Afegir a favorits
    Guardat en:
  10. 10
    Imatge de la portada

    Model checking control communication of a FACTS device / by David Andrew Cape.

    Publicat 2006
    Llibre

    Afegir a favorits
    Guardat en:
  11. 11
    Imatge de la portada

    Satisfiability and model checking in team based logics / Julian-Steffen Müller.

    Publicat 2014
    Llibre

    Afegir a favorits
    Guardat en:
  12. 12
    Imatge de la portada

    Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software

    Publicat 2017
    Llibre

    Afegir a favorits
    Guardat en:
  13. 13
    Imatge de la portada

    Unfoldings : a partial-order approach to model checking / Javier Esparza, Keijo Heljanko.

    Publicat 2008
    Llibre

    Afegir a favorits
    Guardat en:
  14. 14
    Imatge de la portada

    Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

    Publicat 1999
    Llibre

    Afegir a favorits
    Guardat en:
  15. 15
    Imatge de la portada

    Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

    Publicat ©1999
    Llibre

    Afegir a favorits
    Guardat en:
  16. 16
    Imatge de la portada

    Unfoldings : a partial-order approach to model checking / Javier Esparza, Keijo Heljanko.

    Publicat ©2008
    Llibre

    Afegir a favorits
    Guardat en:
  17. 17
    Imatge de la portada

    Principles of model checking Christel Baier, Joost-Pieter Katoen. [electronic resource] /

    Publicat 2008
    Llibre

    Afegir a favorits
    Guardat en:
  18. 18
    Imatge de la portada

    Principles of model checking Christel Baier, Joost-Pieter Katoen. [electronic resource] /

    Publicat 2008
    Llibre

    Afegir a favorits
    Guardat en:
  19. 19
    Imatge de la portada

    Model checking / Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith.

    Publicat 2018
    Llibre

    Afegir a favorits
    Guardat en:
  20. 20
    Imatge de la portada

    Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.).

    Publicat 2002
    Llibre

    Afegir a favorits
    Guardat en:

Eines de cerca: