E. Allen Emerson (Q92821)
Jump to navigation
Jump to search
American computer scientist
- Ernest Allen Emerson
- Ernest Allen Emerson II
Language | Label | Description | Also known as |
---|---|---|---|
English | E. Allen Emerson |
American computer scientist |
|
Statements
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. (English)
Identifiers
E. Allen Emerson
William L. Hosch
0 references
Sitelinks
Wikipedia(24 entries)
- arwiki ألين إيمرسون
- arzwiki الين ايمرسون
- azbwiki ارنست آلن امرسون
- bnwiki আর্নেস্ট অ্যালেন এমারসন
- cawiki E. Allen Emerson
- cswiki E. Allen Emerson
- dewiki Allen Emerson
- enwiki E. Allen Emerson
- eowiki E. Allen Emerson
- eswiki E. Allen Emerson
- fawiki ارنست آلن امرسون
- frwiki Allen Emerson
- jawiki アレン・エマーソン
- mgwiki Allen Emerson
- nlwiki E. Allen Emerson
- plwiki Allen Emerson
- ptwiki Ernest Allen Emerson
- rowiki E. Allen Emerson
- ruwiki Эмерсон, Эрнест Аллен
- skwiki Ernest Allen Emerson
- srwiki Ален Емерсон
- trwiki E. Allen Emerson
- ukwiki Ернест Аллен Емерсон
- zhwiki 艾伦·爱默生