Login
 Forum
 
 
Habilitation
 
The Budapest University of Technology and Economics
cordially invites You

to the habilitation presentation of
Majzik István.


Educational lecture

.
A kollokvium címe: "Verifikációs módszerek biztonságkritikus beágyazott rendszerekhez"

Az előadás címe: "Időfüggő viselkedés formális verifikációja"

Helye: Budapesti Műszaki és Gazdaságtudományi Egyetem
I. épület B szárny 019.
(Budapest, XI., Magyar tudósok körútja 2.)

Meghirdető: Informatikai Tudományok Habilitációs Bizottság (to be translated)



 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 1.2318 ( 2016. XI. 26. )