TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Object-oriented specification of reactive systems

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
JulkaisupaikkaTampere
KustantajaTampere University of Technology
TilaJulkaistu - 1989
OKM-julkaisutyyppiD4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Julkaisusarja

NimiTUT/Software Systems Laboratory, Report
KustantajaTampere University of Technology
Numero6

Julkaisufoorumi-taso