Juhan-Peep Ernits
| is involved in projects | |||
|---|---|---|---|
| no | reg no | project title, institution, position | duration |
| 1. | ETF5775 | Abstraction-based verification and analysis of infinite state systems (TTÜ KI) | 2004 - 2007 |
| 2. | SF0322520s03 | Nonlinear and hybrid control systems (Institute of Cybernetics at Tallinn Technical University, teadur) | 2003 - 2007 |
| 3. | SF0322520s03 | Nonlinear and hybrid control systems (Institute of Cybernetics at Tallinn Technical University, teadur) | 2003 - 2007 |
| 4. | ETF5086 | Pattern-based modeling and analysis of computer integrated systems (IoC at TTU, student) | 2002 - 2005 |
| 5. | SF0140221Bs98 | Juhtimis- ja tarkvarasüsteemide projekteerimise meetodid ja vahendid raalintegreeritud süsteemides (Institute of Cybernetics at Tallinn Technical University, teadur) | 1998 - 2002 |