Toggle navigation
reposiTUm
ÜBER REPOSITUM
HILFE
Anmelden
Aktuelles
Browsen nach
Publikationstypen
Organisationseinheiten
Forschende
Projekte
TU Wien Academic Press
Open-Access-Schriftenreihen
Hochschulschriften
Digitalisate
Erscheinungsjahr
Datensatz Zitierlink:
http://hdl.handle.net/20.500.12708/158852
-
Titel:
Logical methods in automated hardware and software verification
en
Zitat:
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
-
Publikationstyp:
Hochschulschrift - Habilitationsschrift
de
Sprache:
Englisch
-
Autor_innen:
Weissenbacher, Georg
-
Organisationseinheit:
E184 - Institut für Informationssysteme
-
Datum (veröffentlicht):
2016
-
Umfang:
154
-
Keywords:
Hardware; Software; Verifikation; Automation; Logik
de
Weitere Information:
Enthält Originalbeitrag und 9 Veröffentlichungen
-
Enthalten in den Sammlungen:
Thesis
Zur Langanzeige
Seiten Aufrufe
104
aufgerufen am 23.11.2023
Google Scholar
TM
Check