Tanel Tammet
| on seotud projektidega | |||
|---|---|---|---|
| nr | tunnusnumber | teema, asutus, amet | kestus |
| 1. | ETF5775 | Lõpmatu olekuruumiga süsteemide abstraktsiooni-põhine verifitseerimine ja analüüs (Tallinna Tehnikaülikool, professor) | 2004 - 2007 |
| 2. | ETF5567 | Mitteklassikalised loogikad ja programmeerimisteooria (TTÜ infotehn.-tk., professor) | 2003 - 2006 |
| 3. | ETF4156 | Formaalsed meetodid hübriidsete dünaamiliste süsteemide verifitseerimiseks (Tallinna Tehnikaülikool, prof.) | 2000 - 2003 |
| 4. | SF0140854s99 | Automaatse teoreemitõestamise meetodid formaalsete spetsifikatsioonide verfitseerimiseks (Tallinna Tehnikaülikool, professor) | 1999 - 2002 |
| 5. | SF0140221As98 | Juhtimis- ja tarkvarasüsteemide projekteerimise meetodid ja vahendid raalintegreeritud süsteemides (TTÜ Teaduskompetentsikeskus, professor) | 1998 - 2002 |