Members of our research laboratory read various courses (mainly within Tallinn University of Technology). A more detailed information about each of the listed course can be found in electronic system of the university.
| Code | Subject title | Instructor |
|---|---|---|
| ISS0031 | Modelling and Identification | J. Belikov |
| YMR0064 | Computer Algebra in Nonlinear Control Systems Theory | Ü. Kotta |
| YMR0065 | Algebraic Methods in Nonlinear Control Systems Theory | Ü. Kotta |
| YFR0080 | Refresher Course in Physics | T. Mullari |
| YFR0030 | Physics | T. Mullari |
| YFR0012 | Physics II | T. Mullari |
| ITI0021 | Logic Programming | J. Vain |
| ITI0130 | Formal Methods | J. Vain |
| ITI0135 | Project on Formal Methods | J. Vain |
| ITI8530 | Formal Methods in Embedded Real-Time Systems Development | J. Vain |
| ITI8540 | System reliability and fault-tolerance | J. Vain |
| ITI9111 | Model-Based Testing and Validation of Real-Time Systems | J. Vain |
| ITI9191 | Special topics of Formal Methods | J. Vain |
| ITX003P | Practice | J. Vain |
| ITX004P | Practice | J. Vain |
| ITX8510 | Practical Training | J. Vain |
| ITX8511 | Practical Training in Information Technology | J. Vain |
| ITX8520 | Software Project | J. Vain |
| IXX9601 | Doctoral Seminar I | J. Vain |
| IXX9602 | Doctoral Seminar II | J. Vain |
| IXX9603 | Doctoral Seminar III | J. Vain |
| IXX9611 | Doctoral Teaching Practice I | J. Vain |