E. Allen Emerson (Q92821)

De Wikidata
Ir a la navegación Ir a la búsqueda
informático teórico estadounidense
  • E Allen Emerson
  • Ernest Allen Emerson
editar
Idioma Etiqueta Descripción También conocido como
español
E. Allen Emerson
informático teórico estadounidense
  • E Allen Emerson
  • Ernest Allen Emerson
inglés
E. Allen Emerson
American computer scientist (1954–2024)
  • Ernest Allen Emerson
  • Allen Emerson

Declaraciones

0 referencias
Ernest Allen Emerson (inglés)
0 referencias
0 referencias
1998
For their invention of symbolic model checking, a method of formally checking system designs, which is widely used in the computer hardware industry and is beginning to show significant promise also in software verification and other areas. (inglés)
0 referencias
E. Allen Emerson
0 referencias

Identificadores

 
editar
    editar
      editar
        editar
          editar
            editar
              editar
                editar