Orna Grumberg

Grumberg im Jahr 2006 mini|Grumberg im Jahr 2006 Orna Grumberg (; geb. 14. Mai 1952 in Chadera) ist eine israelische Informatikerin. Sie hat derzeit den ''Leumi Chair of Science'' am Technion, der Technischen Universität Israels in Haifa, inne. Veröffentlicht in Wikipedia
Treffer 1 – 19 von 19 für Suche 'Grumberg, Orna', Suchdauer: 0,10s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Model checking /

    Model checking / von Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, Grumberg, Orna, Peled, Doron A., 1962-

    Veröffentlicht 1999
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Dependable software systems engineering /

    Dependable software systems engineering /

    Veröffentlicht 2016
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Software systems safety /

    Software systems safety /

    Veröffentlicht 2014
    Weitere Verfasser: “… Grumberg, Orna …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Software safety and security : tools for analysis and verification /

    Software safety and security : tools for analysis and verification /

    Veröffentlicht 2012
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Logics and languages for reliability and security /

    Logics and languages for reliability and security /

    Veröffentlicht 2010
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Formal logical methods for system security and correctness /

    Formal logical methods for system security and correctness /

    Veröffentlicht 2008
    Weitere Verfasser: “… Grumberg, Orna …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Model checking

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

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A direct soundness proof of the recursion rule

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Model checking and modular verification

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Model checking

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

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Model checking

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

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Abstract interpretation reactive systems preservation of CTL

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

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Model checking

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

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    GORMEL, grammar oriented model checker

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Model checking and abstraction

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    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

    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 o...

    Veröffentlicht 2007
    Weitere Verfasser: “… Grumberg, Orna …”
    Inhaltsverzeichnis
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Software systems safety

    Software systems safety

    Veröffentlicht 2014
    Weitere Verfasser: “… Grumberg, Orna …”
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Dependable software systems engineering

    Dependable software systems engineering

    Veröffentlicht 2016
    Weitere Verfasser:

    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Software systems safety

    Software systems safety

    Veröffentlicht 2014
    Weitere Verfasser: “… Grumberg, Orna …”
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: