Verifikációs módszerek biztonságkritikus beágyazott rendszerekhez: Habilitációs tézisek

Author	Majzik, István
Date accessioned	2021-12-02T15:41:06Z
Date available	2021-12-02T15:41:06Z
Date of issue	2013
URI of identifier	http://hdl.handle.net/10890/16411
Language	hu
Title	Verifikációs módszerek biztonságkritikus beágyazott rendszerekhez: Habilitációs tézisek
Document type	Tézisfüzet
Access level	Open Access
Faculty	Villamosmérnöki és Informatikai Kar
Page	29.p
University	Budapesti Műszaki és Gazdaságtudományi Egyetem
Subject area	műszaki tudományok
Document genre	Habilitációs tézis
Field	informatikai tudományok
Identifiers [doktori]	1627

BME Habilitációk [103]
A BME habilitált oktatóinak a habilitációs eljárás során benyújtott tézisfüzetei.