| Date: | Monday May 21 |
| Time: | 13.15 |
| Place: | Polhemsalen, Ångström laboratoriet, Lägerhyddsvägen 1 |
| Thesis title: | Model-Based Test Case Generation for Real-Time Systems |
| Date: | Monday May 21 |
| Time: | 13.15 |
| Place: | Polhemsalen, Ångström laboratoriet, Lägerhyddsvägen 1 |
| Thesis title: | Model-Based Test Case Generation for Real-Time Systems |