| title: | Formal Methods for Verification of Hybrid Dynamical Systems |
|---|---|
| reg no: | ETF4156 |
| project type: | Estonian Science Foundation research grant |
| subject: |
2.9. System Engineering and Computer Technology |
| status: | completed |
| institution: | Institute of Cybernetics at Tallinn Technical University |
| head of project: | Jüri Vain |
| duration: | 01.01.2000 - 31.12.2003 |
| project group | ||||
|---|---|---|---|---|
| no | name | institution | position | |
| 1. | Alar Kuusik | Tallinn Technical University | teadur | |
| 2. | Marko Kääramees | Institute of Cybernetics at Tallinn Technical University | teadur | |
| 3. | Tanel Tammet | Tallinn Technical University | prof. | |
| 4. | Jüri Vain | Institute of Cybernetics at Tallinn Technical University | osak.juh | |