| teema: | Formaalsed meetodid hübriidsete dünaamiliste süsteemide verifitseerimiseks |
|---|---|
| tunnusnumber: | ETF4156 |
| projekti tüüp: | Eesti Teadusfondi grant |
| erialad: |
2.9. Süsteemitehnika ja infotehnoloogia |
| seisund: | lõppenud |
| asutus: | TTÜ Küberneetika Instituut |
| projekti juht: | Jüri Vain |
| kestus: | 01.01.2000 - 31.12.2003 |
| projektiga seotud isikud | ||||
|---|---|---|---|---|
| nr | nimi | asutus | amet | |
| 1. | Alar Kuusik | Tallinna Tehnikaülikool | teadur | |
| 2. | Marko Kääramees | TTÜ Küberneetika Instituut | teadur | |
| 3. | Tanel Tammet | Tallinna Tehnikaülikool | prof. | |
| 4. | Jüri Vain | TTÜ Küberneetika Instituut | osak.juh | |