Formal Model-Driven Development of Communicating Systems

Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik

Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Alkuperäiskieli	Ei tiedossa
Kustantaja	Turku Centre for Computer Science (TUCS)
ISBN (painettu)	952-12-1564-X
Tila	Julkaistu - 2005
OKM-julkaisutyyppi	D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Viittausmuodot

@book{a3a61c6168d94e889ac4455f457dfe07,

title = "Formal Model-Driven Development of Communicating Systems",

author = "Linas Laibinis and Elena Troubitsyna and Sari Lepp{\"a}nen and Johan Lilius and Qaisar Malik",

note = "TUCS Technical Report No 691",

year = "2005",

language = "Odefinierat/ok{\"a}nt",

isbn = "952-12-1564-X",

publisher = "Turku Centre for Computer Science (TUCS)",

}

TY - BOOK

T1 - Formal Model-Driven Development of Communicating Systems

AU - Laibinis, Linas

AU - Troubitsyna, Elena

AU - Leppänen, Sari

AU - Lilius, Johan

AU - Malik, Qaisar

N1 - TUCS Technical Report No 691

PY - 2005

Y1 - 2005

M3 - Beställd rapport

SN - 952-12-1564-X

BT - Formal Model-Driven Development of Communicating Systems

PB - Turku Centre for Computer Science (TUCS)

ER -