Randal Bryant (Q13412132)
Jump to navigation
Jump to search
American computer scientist
- Randal E. Bryant
- Randal Everitt Bryant
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Randal Bryant |
American computer scientist |
|
Statements
4 references
27 October 1952
1 reference
1 reference
1 reference
1 reference
1 reference
1 reference
1981
1 reference
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)
2000
1990
For contributions to switch-level modeling of very-large-scale integrated circuits. (English)
Identifiers
1 reference
1 reference
1 reference
1 reference
1 reference
2 references
1 reference
1 reference
Sitelinks
Wikipedia(9 entries)
- arwiki راندال براينت
- arzwiki راندال براينت
- azbwiki رندال براینت
- dewiki Randal Bryant
- enwiki Randal Bryant
- fawiki رندال براینت
- frwiki Randal Bryant
- swwiki Randal Bryant
- ukwiki Рендел Брайнт
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Randal Bryant