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
Record link:
http://hdl.handle.net/20.500.12708/158852
-
Title:
Logical methods in automated hardware and software verification
en
Citation:
Weissenbacher, G. (2016).
Logical methods in automated hardware and software verification
[Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/158852
-
CatalogPlus:
AC13392012
-
Publication Type:
Thesis - Habilitationsschrift
en
Language:
English
-
Authors:
Weissenbacher, Georg
-
Organisational Unit:
E184 - Institut für Informationssysteme
-
Date (published):
2016
-
Number of Pages:
154
-
Keywords:
Hardware; Software; Verifikation; Automation; Logik
de
Additional information:
Enthält Originalbeitrag und 9 Veröffentlichungen
-
Appears in Collections:
Thesis
Show full item record
Page view(s)
103
checked on Nov 23, 2023
Google Scholar
TM
Check