Skip recommendations
Es conocida por su desarrollo de la verificación de modelos, un método para verificar formalmente diseños de hardware y software. Con Edmund M. Clarke y Doron A. Peled, es coautora del libro Model Checking (MIT Press, 1999).
En 2013 fue elegida para la Academia Europaea. En 2015 nombrada miembro de Association for Computing Machinery "por sus contribuciones a la investigación en la verificación formal automatizada de hardware y sistemas de software". proporcionado por Wikipedia
Orna Grumberg
Orna Grumberg (: ארנה גרימברג; 14 de mayo de 1952) es una informática israelí y académica, catedrática Leumi de Ciencia en el Technion.Es conocida por su desarrollo de la verificación de modelos, un método para verificar formalmente diseños de hardware y software. Con Edmund M. Clarke y Doron A. Peled, es coautora del libro Model Checking (MIT Press, 1999).
En 2013 fue elegida para la Academia Europaea. En 2015 nombrada miembro de Association for Computing Machinery "por sus contribuciones a la investigación en la verificación formal automatizada de hardware y sistemas de software". proporcionado por Wikipedia
-
1
-
2
-
3Publicado 2014Otros Autores: “…Grumberg, Orna…”
Texto completo
Electrónico Congresos, conferencias eBook
-
4Publicado 2014Otros Autores: “…Grumberg, Orna…”
Texto completo
Electrónico Congresos, conferencias eBook -
5
-
6
-
7
-
8
-
9
-
10Publicado 2008Otros Autores: “…Grumberg, Orna…”
Texto completo
Electrónico Congresos, conferencias eBook -
11
-
12por Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 , Grumberg, Orna , Peled, Doron A., 1962-Texto completo
Publicado 1999
Electrónico eBook