Erinevus lehekülje "Formal methods in model-based testing and verification" redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
(Uus lehekülg: '* Time: Wednesday 16:00 * Location: room ICT-411') |
|||
| 1. rida: | 1. rida: | ||
* Time: Wednesday 16:00 | * Time: Wednesday 16:00 | ||
* Location: room ICT-411 | * Location: room ICT-411 | ||
| + | |||
| + | * Syllabus: | ||
| + | ** 17/09/2014 Introduction to the seminar | ||
| + | ** 24/09/2014 | ||
| + | *** Jüri Vain "Provably Correct Online Testing Of Timed Systems" | ||
| + | *** Andrus Toom "A Software Product Line Approach for Semantics Specification of Block Libraries in Data Flow Languages" | ||
| + | ** 1/10/2014 | ||
| + | *** Jaagup Irve "Simulation modelling of robot swarms and emergent behaviour experiments (based on MSc Thesis)" | ||
| + | *** ... | ||
Redaktsioon: 1. oktoober 2014, kell 09:25
- Time: Wednesday 16:00
- Location: room ICT-411
- Syllabus:
- 17/09/2014 Introduction to the seminar
- 24/09/2014
- Jüri Vain "Provably Correct Online Testing Of Timed Systems"
- Andrus Toom "A Software Product Line Approach for Semantics Specification of Block Libraries in Data Flow Languages"
- 1/10/2014
- Jaagup Irve "Simulation modelling of robot swarms and emergent behaviour experiments (based on MSc Thesis)"
- ...