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 - 20 von 23 für Suche 'Grumberg, Orna', Suchdauer: 0,37s Treffer weiter einschränken
  1. 1
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    von Francez, Nissim
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    von Marelly, Rami
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    von Shurek, Gil
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    von Fix, Limor
    Veröffentlicht 1993
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    von Grumberg, Orna
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    von De-Leon, Hana
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Computer aided verification : 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings
    Veröffentlicht 1997
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Computer aided verification : 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings
    Veröffentlicht 1997
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Computer aided verification : proceedings
    Veröffentlicht 1997
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Must Fault Localization for Program Repair
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Compositional Model Checking for Multi-properties
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    von Fix, Limor
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Model checking
    von Clarke, Edmund M.
    Veröffentlicht 1999
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Model checking
    von Clarke, Edmund M.
    Veröffentlicht 1999
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Model checking
    von Clarke, Edmund M.
    Veröffentlicht 2000
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Assume, Guarantee or Repair
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    von Clarke, Edmund M.
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday
    Veröffentlicht 2009
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    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
    Cover
    Inhaltstext
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: