The Production Cell: An Exercise in the Formal Verification of a UML Model

Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti

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

Viittausmuodot

@book{b1c65689c7b64d9c9be6fb8d4f88ac86,

title = "The Production Cell: An Exercise in the Formal Verification of a UML Model",

author = "Johan Lilius and {Porres Paltor}, Ivan",

note = "TUCS Technical Report No 288, May 1999",

year = "1999",

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

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

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

}

TY - BOOK

T1 - The Production Cell: An Exercise in the Formal Verification of a UML Model

AU - Lilius, Johan

AU - Porres Paltor, Ivan

N1 - TUCS Technical Report No 288, May 1999

PY - 1999

Y1 - 1999

M3 - Beställd rapport

SN - 952-12-0480-X

BT - The Production Cell: An Exercise in the Formal Verification of a UML Model

PB - Turku Centre for Computer Science (TUCS)

ER -