Thomas Henzinger (Q88295)
Aller à la navigation
Aller à la recherche
informaticien autrichien
- Tom Henzinger
| Langue | Libellé | Description | Également connu comme |
|---|---|---|---|
| français | Thomas Henzinger |
informaticien autrichien |
|
| anglais | Thomas Henzinger |
Austrian computer scientist |
|
Déclarations
1962
2 références
9 avril 2014
8 décembre 1962
1 référence
1 référence
1 référence
2015
for fundamental advances in the theory and practice of formal verification and synthesis of reactive, real-time, and hybrid computer systems (anglais)
ACM Fellow anglais
2006
8 janvier 2007
For contributions to formal verification and hybrid systems. (anglais)
2013
1 janvier 2012
Identifiants
1 référence
1 référence
1 référence
2 références
1 référence
1 référence
1 référence
1 référence
1 référence
Austria-Forum person ID anglais
Liens de site
Wikipédia(5 entrées)
- arzwiki توماس هينزينجر
- cswiki Thomas Henzinger
- dewiki Thomas Henzinger
- enwiki Thomas Henzinger
- frwiki Thomas Henzinger