Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
DC Field
Value
Language
dc.contributor.author
Weissenbacher, Georg
-
dc.date.accessioned
2023-03-04T10:23:30Z
-
dc.date.issued
2016
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Weissenbacher, G. (2016). <i>Logical methods in automated hardware and software verification</i> [Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/158852</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/158852
-
dc.description
Enthält Originalbeitrag und 9 Veröffentlichungen
-
dc.language
English
-
dc.language.iso
en
-
dc.subject
Hardware
de
dc.subject
Software
de
dc.subject
Verifikation
de
dc.subject
Automation
de
dc.subject
Logik
de
dc.title
Logical methods in automated hardware and software verification
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
dc.publisher.place
Wien
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E184 - Institut für Informationssysteme
-
dc.type.qualificationlevel
Habilitation
-
dc.identifier.libraryid
AC13392012
-
dc.description.numberOfPages
154
-
dc.thesistype
Habilitationsschrift
de
dc.thesistype
Professorial Dissertation
en
tuw.author.orcid
0000-0002-0143-632X
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_46ec
-
item.languageiso639-1
en
-
item.openairetype
thesis
-
item.grantfulltext
none
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
Appears in Collections:
Thesis
Show simple item record
Page view(s)
74
checked on Nov 23, 2023
Google Scholar
TM
Check