BME-MIT

Home
Introduction
Members
- Members of staff
- PhD students
Education
Research
Log in

Automated Verification Techniques

VIMIMA29 | Computer Engineering MSc | Semester: 2 | Credit: 5

Vörös András

András Vörös

associate professor

Course coordinator

További közreműködők ezen a tárgyon

Department of Artificial Intelligence and Systems Engineering

Introduction

About our department
News and events
Contact

Members

Members of staff
PhD students

Education

BSc Computer engineering
BSc Electrical engineering
MSc Computer engineering
MSc Electrical engineering
PhD subjects

Research

Artificial intelligence
Critical systems
Embedded systems
Signal processing
Minisymposium

© Copyright BME-MIT All rights reserved.

Site theme created by BootstrapMade , distributed by ThemeWagon .