prof. Ing. František Plášil, DrSc.
Address: | Malostranské nám. 2/25, Praha 1 |
---|---|
Office: | S 212 (3.16), 2. patro, Malá Strana |
Fax: | |
Additional information: | http://www.mff.cuni.cz/fakulta/struktura/lide/305.htm |
Faculty: | Faculty of Mathematics and Physics |
Department: | Department of Distributed and Dependable Systems (32-KDSS) - external specialist |
Parent department: | Department of Distributed and Dependable Systems (32-KDSS) |
Phone: | 951554266 |
E-mail: | frantisek.plasil@d3s.mff.cuni.cz |
Consultation hours: | |
Courses Schedule Opinion survey results Announced theses Supervised theses Noticeboard |
Code | Title | Semester | Hours per week, examination | Department | Faculty | Virtual mobility | Capacity | 4EU+ | |
NSWX101 | System Behaviour Models and Verification | winter | winter s.:2/2, C+Ex [HT] | 32-STUD | MFF | no | no |