Suchergebnisse - Grumberg, Orna

  • Treffer 1 – 13 von 13
Treffer filtern
  1. 1
    Buchumschlag

    Model checking
    von Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Model checking
    von Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    A direct soundness proof of the recursion rule
    von Francez, Nissim, Grumberg, Orna

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Model checking and modular verification
    von Grumberg, Orna, Long, David E.

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Model checking
    von Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    GORMEL, grammar oriented model checker
    von Marelly, Rami, Grumberg, Orna

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Model checking and abstraction
    von Clarke, Edmund M. 1945-2020, Grumberg, Orna, Long, David E.

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Model checking
    von Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

    Veröffentlicht 2000
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Abstract interpretation reactive systems: preservation of CTL
    von Dams, Dennis, Grumberg, Orna, Gerth, Rob T.

    Veröffentlicht 1995
    Per Fernleihe bestellen
    Buch


    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 of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings

    Veröffentlicht 2007
    Weitere beteiligte Personen: “… Grumberg, Orna …”
    Inhaltsverzeichnis
    Tagungsbericht Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Software systems safety

    Veröffentlicht 2014
    Weitere beteiligte Personen: “… Grumberg, Orna …”
    Per Fernleihe bestellen
    Elektronisch E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

    Dependable software systems engineering

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Grumberg, Orna …”
    Per Fernleihe bestellen
    Elektronisch E-Book


    Gespeichert in:
  13. 13
    Buchumschlag

    Software systems safety

    Veröffentlicht 2014
    Weitere beteiligte Personen: “… Grumberg, Orna …”
    Per Fernleihe bestellen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: