| teema: | Automaatse teoreemitõestamise meetodid formaalsete spetsifikatsioonide verfitseerimiseks |
|---|---|
| tunnusnumber: | SF0140854s99 |
| projekti tüüp: | sihtfinantseerimine |
| erialad: |
2.9. Süsteemitehnika ja infotehnoloogia |
| seisund: | lõppenud |
| asutus: | Tallinna Tehnikaülikool |
| projekti juht: | Tanel Tammet |
| kestus: | 01.01.1999 - 31.12.2002 |
| projektiga seotud isikud | ||||
|---|---|---|---|---|
| nr | nimi | asutus | amet | |
| 1. | Härmel Nestra | Tallinna Tehnikaülikool | teadur | |
| 2. | Ott Mihkel Tammepuu | Tallinna Tehnikaülikool | teadur | |
| 3. | Tanel Tammet | Tallinna Tehnikaülikool | professor | |