Discipline

Technologies of automated design and verification of programs

Academic year

2020/2021

Course

1 Course (1 Semester)

Cycle

Educational disciplines for obtaining in-depth knowledge of the specialty

Speciality

121 Software engineering

Form of study

Full-time

Educational level

PhD

Credits

120 hrs.

Reading department

Department of Automation and Control in Technical Systems

Lecture

Yaroslav Dorohyi

Laboratory

Yaroslav Dorohyi