TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Verification Algorithm Group at Tampere University of Technology

Tutkimustuotos ›

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut25-38
JulkaisuTietojenkäsittelytiede
Numero8
TilaJulkaistu - 1996
OKM-julkaisutyyppiD1 Artikkeli ammattilehdessä

Julkaisufoorumi-taso

Saatavuustiedot

Kokoteksti

Tekijät

  • A. Valmari

Tutkimusyksiköt

Relaatiokaavio

Näytä verkostonäkymä

Tampereen teknillinen yliopisto on teknologisen kehityksen tiennäyttäjä sekä tutkimusmaailman ja elinkeinoelämän yhteistyökumppani. Yliopistosta valmistuu haluttuja osaajia yhteiskunnan eri aloille.

Pikalinkit

Seuraa meitä

Tilaa Rajapinnan uutiskirje