Suchergebnisse - "Model Checking."

  1. 1
    Buchumschlag

    Symbolic model checking / by Kenneth L. McMillan.

    Veröffentlicht ©1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings / Stefan Kowalewski, Marco Roveri (e...

    Veröffentlicht 2010
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2008
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2008
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht ©1999
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

    Model-checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli.

    Veröffentlicht c2004
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

    Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / edited by Fabrizio Biondi, Thomas Given-Wilson, Axel Legay.

    Veröffentlicht 2019
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 2001
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Buchumschlag

    Validating requirements for fault tolerant systems using model checking / Francis Schneider [and others].

    Veröffentlicht 1997
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice...

    Veröffentlicht 2007
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Buchumschlag

    Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings / Alan J. Hu, Moshe Y. Vardi (eds.).

    Veröffentlicht ©1998
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Buchumschlag

    Posterior predictive model checking for the diagnostic input noisy and gate model / by Cigdem Alagoz Ekici.

    Veröffentlicht 2012
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Buchumschlag

    SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem V...

    Veröffentlicht 2000
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Buchumschlag

    Mar cántico. [Con dibujos originales de la artista Marta Belmes.

    Veröffentlicht 1970
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Buchumschlag

    Bibliographie des œuvres de Zénaïde Hippius = Zinaida Gippius, bibliografii︠a︡ / établie par Any Barda ; [publié par le Laboratoire de slavistique de Paris I].

    Veröffentlicht 1975
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Buchumschlag

    Puspitasari, prawan Bali; gambar S. Har.

    Veröffentlicht 1964
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Buchumschlag

    Using model checking to generate tests from specifications / Paul E. Ammann, Paul E. Black, William Majurski.

    Veröffentlicht 1998
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Buchumschlag

    Abstracting formal specifications to generate software tests via model checking / Paul E. Ammann, Paul E. Black.

    Veröffentlicht 1999
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Buchumschlag

    Computation engineering : applied automata theory and logic / Ganesh Gopalakrishnan.

    Veröffentlicht ©2006
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Buchumschlag

    Disclaiming any right, title, or interest of the United States...

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: