| title: | Automaatse teoreemitõestamise meetodid formaalsete spetsifikatsioonide verfitseerimiseks |
|---|---|
| reg no: | SF0140854s99 |
| project type: | targeted financing |
| subject: |
2.9. System Engineering and Computer Technology |
| status: | completed |
| institution: | Tallinn Technical University |
| head of project: | Tanel Tammet |
| duration: | 01.01.1999 - 31.12.2002 |
| project group | ||||
|---|---|---|---|---|
| no | name | institution | position | |
| 1. | Härmel Nestra | Tallinn Technical University | teadur | |
| 2. | Ott Mihkel Tammepuu | Tallinn Technical University | teadur | |
| 3. | Tanel Tammet | Tallinn Technical University | professor | |