| title: | Software Engineering Tools for Design and Verification of Real-Time Systems |
|---|---|
| reg no: | ETF4285 |
| project type: | Estonian Science Foundation research grant |
| subject: |
2.9. System Engineering and Computer Technology |
| status: | completed |
| institution: | TTU Faculty of Systems Engineering |
| head of project: | Tõnu Näks |
| duration: | 01.01.2000 - 31.12.2002 |
| project group | ||||
|---|---|---|---|---|
| no | name | institution | position | |
| 1. | Tõnu Näks | Tallinn Technical University | teadur | |
| 2. | Toomas Tommingas | Tallinn Technical University | lektor | |