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) |
| 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 |



