Jüri Vain
[ elulookirjeldus ]
| on seotud projektidega | |||
|---|---|---|---|
| nr | tunnusnumber | teema, asutus, amet | kestus |
| 1. | ETF5775 | Lõpmatu olekuruumiga süsteemide abstraktsiooni-põhine verifitseerimine ja analüüs (TTÜ Küberneetika Instituut, osakonna juhataja) | 2004 - 2007 |
| 2. | SF0322520s03 | Mittelineaarsed ja hübriidsed juhtimissüsteemid (TTÜ Küberneetika Instituut, osak. juh.) | 2003 - 2007 |
| 3. | ETF5086 | Raalintegreeritud juhtimissüsteemide mustripõhine modelleerimine ja analüüs (TTÜ KÜBI, osak. juh.) | 2002 - 2005 |
| 4. | ETF4156 | Formaalsed meetodid hübriidsete dünaamiliste süsteemide verifitseerimiseks (TTÜ Küberneetika Instituut, osak.juh) | 2000 - 2003 |
| 5. | SF0140221As98 | Juhtimis- ja tarkvarasüsteemide projekteerimise meetodid ja vahendid raalintegreeritud süsteemides (TTÜ Teaduskompetentsikeskus, professor) | 1998 - 2002 |
| 6. | SF0140221Bs98 | Juhtimis- ja tarkvarasüsteemide projekteerimise meetodid ja vahendid raalintegreeritud süsteemides (TTÜ Küberneetika Instituut, professor) | 1998 - 2002 |
| 7. | ETF3737 | Otsustussüsteemide optimaalse struktureerimise meetodid informaatikas ja juhtimises (TTÜ Küberneetika Instituut, osak.juh) | 1999 - 2001 |
| 8. | SF0320202s98 | Teadmuspõhiste juhtimis- ja infosüsteemide arenduskeskkonnad kõrgjõudlusega arvutivõrkudel (TTÜ Küberneetika Instituut, osak.juh.) | 1997 - 2000 |