Résultats de la recherche
Essayez avec cette orthographe : orne grufberg
Cherchez Orna Grumberg sur Wikipédia dans une autre langue :
Cherchez Orna Grumberg sur un des projets-frères de Wikipédia :
- Wiktionnaire (dictionnaire)
- Wikibooks (livres pédagogiques)
- Wikiquote (citations)
- Wikisource (bibliothèque libre)
- Wikinews (actualités libres)
- Wikiversity (espace pédagogique)
- Wikivoyage (guide touristique)
- Wikidata (base de données)
- Commons (images et médias)
L'article « Orna Grumberg » n'existe pas sur ce wiki !
Vous souhaitez le créer ? Vérifiez auparavant que le sujet n'a pas déjà été traité dans les résultats ci-dessous, puis assurez-vous qu'il est admissible dans l'encyclopédie.
Pour créer « Orna Grumberg », suivez le guide !
Elle a obtenu son Ph. D. au Technion en 1995, sous la supervision de Orna Grumberg (en) avec une thèse intitulée « Model Checking for Branching-Time Temporal...7 kio (660 mots) - 14 juillet 2023 à 23:31
1023/A:1011276507260, lire en ligne, consulté le 26 février 2018) (en) Edmund Clarke, Orna Grumberg, Somesh Jha et Yuan Lu, Counterexample-Guided Abstraction Refinement...22 kio (2 451 mots) - 3 novembre 2023 à 21:48- Veith est récipiendaire, avec ses sept coauteurs Edmund M. Clarke, Orna Grumberg, Ronald H. Hardin, Somesh Jha, Yuan Lu, Robert P. Kurshan et Zvi Harel...7 kio (617 mots) - 22 juillet 2023 à 16:12
- Robert Lee Constable Edsger W. Dijkstra Javier Esparza Orna Grumberg David Harel C. A. R. Hoare Orna Kupferman Tobias Nipkow Doron Peled Amir Pnueli Alexander...4 kio (369 mots) - 12 janvier 2023 à 18:17
- (ISBN 978-3-540-00296-3, présentation en ligne) (en) Edmund M. Clarke, Orna Grumberg et Doron A. Peled, Model Checking, Cambridge, MIT Press, 1999, 314 p...7 kio (1 011 mots) - 26 décembre 2023 à 22:28
- linéaire (non branchée) du mu-calcul,. (en) Edmund M. Clarke, Jr., Orna Grumberg et Doron A. Peled, Model Checking, Cambridge, Massachusetts, USA, MIT...16 kio (2 229 mots) - 11 avril 2023 à 22:03
- 1992 (lire en ligne) David L. Dill, « A Retrospective on murφ », dans Orna Grumberg et Helmut Veith (éditeurs), 25 Years of Model Checking - History, Achievements...12 kio (1 308 mots) - 14 juillet 2023 à 23:50
- Giacomo Paul Dourish Cynthia Dwork Kevin Fall Babak Falsafi Michael Franz Orna Grumberg Ramanathan V. Guha Jayant R. Haritsa Julia Hirschberg Piotr Indyk Tei-Wei...34 kio (3 630 mots) - 4 mars 2024 à 00:31
systèmes biologiques et aux systèmes embarqués. (en) Edmund M. Clarke, Orna Grumberg et Doron A. Peled, Model Checking, The MIT Press, 1999, 314 p. (ISBN 978-0-262-03270-4...8 kio (770 mots) - 6 janvier 2024 à 20:10
Poule de Marcel Nadaud, 2 février 1922 : La Farce de Popa Ghéorghé d'Adolphe Orna, mise en scène Gaston Baty, 1922 : Martine de Jean-Jacques Bernard, mise...44 kio (4 957 mots) - 22 juin 2023 à 18:56
