Helmut Veith (5 février 1971 – 12 mars 2016) est un informaticien autrichien qui a travaillé dans les domaines du model checking, génie logiciel, sécurité des systèmes d'information, et logique pour l'informatique. Il était professeur d'informatique à l'université technique de Vienne (TU Wien).

Property Value
dbo:abstract
  • Helmut Veith (5 février 1971 – 12 mars 2016) est un informaticien autrichien qui a travaillé dans les domaines du model checking, génie logiciel, sécurité des systèmes d'information, et logique pour l'informatique. Il était professeur d'informatique à l'université technique de Vienne (TU Wien). (fr)
  • Helmut Veith (5 février 1971 – 12 mars 2016) est un informaticien autrichien qui a travaillé dans les domaines du model checking, génie logiciel, sécurité des systèmes d'information, et logique pour l'informatique. Il était professeur d'informatique à l'université technique de Vienne (TU Wien). (fr)
dbo:almaMater
dbo:birthPlace
dbo:deathPlace
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:employer
dbo:occupation
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 12578312 (xsd:integer)
dbo:wikiPageLength
  • 6758 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 188065325 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:almaMater
prop-fr:doctoralAdvisor
prop-fr:web
prop-fr:wikiPageUsesTemplate
prop-fr:wikidata
  • Q23707622 (fr)
  • Q23707622 (fr)
dct:subject
rdf:type
rdfs:comment
  • Helmut Veith (5 février 1971 – 12 mars 2016) est un informaticien autrichien qui a travaillé dans les domaines du model checking, génie logiciel, sécurité des systèmes d'information, et logique pour l'informatique. Il était professeur d'informatique à l'université technique de Vienne (TU Wien). (fr)
  • Helmut Veith (5 février 1971 – 12 mars 2016) est un informaticien autrichien qui a travaillé dans les domaines du model checking, génie logiciel, sécurité des systèmes d'information, et logique pour l'informatique. Il était professeur d'informatique à l'université technique de Vienne (TU Wien). (fr)
rdfs:label
  • Helmut Veith (fr)
  • Helmut Veith (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
is dbo:doctoralStudent of
is oa:hasTarget of
is foaf:primaryTopic of