A Babeş–Bolyai Tudományegyetem Matematika és Informatika Kara tisztelettel meghívja Önt Szenkovits Annamária Model-based Testing for Reactive Systems. Intelligent Approaches című doktori értekezésének nyilvános védésére, amelyre 2017. szeptember 29-én, pénteken 11:30 órától kerül sor a BBTE főépületének 5/I-es (Tiberiu Popoviciu) termében.

A doktori értekezés dr. Horia F. POP egyetemi tanár szakmai irányításával készült.

Mellékletben olvasható a doktori értekezés angol és román nyelvű kivonata.