Formalising UML State Machines for Model Checking

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

126 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	UML'99 The Unified Modeling Language
Kustantaja	Springer
Sivut	430–445
ISBN (elektroninen)	978-3-540-46852-3
ISBN (painettu)	978-3-540-66712-4
DOI - pysyväislinkit	https://doi.org/10.1007/3-540-46852-8_31
Tila	Julkaistu - 1999
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 1999-10-28; 1999-10-30 - The Unified Modeling Language Beyond the Standard (UML'99) Kesto: 28 lokak. 1999 → 30 lokak. 1999

Konferenssi	conference; 1999-10-28; 1999-10-30
Ajanjakso	28/10/99 → 30/10/99

Pääsy asiakirjaan

@inproceedings{f36814f393b54f40bf911fa0f6a2ac50,

title = "Formalising UML State Machines for Model Checking",

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

year = "1999",

doi = "10.1007/3-540-46852-8\_31",

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

isbn = "978-3-540-66712-4",

pages = "430{\textendash}445",

booktitle = "UML'99 The Unified Modeling Language",

publisher = "Springer",

note = "conference; 1999-10-28; 1999-10-30 ; Conference date: 28-10-1999 Through 30-10-1999",

}

TY - GEN

T1 - Formalising UML State Machines for Model Checking

AU - Lilius, Johan

AU - Porres Paltor, Ivan

PY - 1999

Y1 - 1999

U2 - 10.1007/3-540-46852-8_31

DO - 10.1007/3-540-46852-8_31

M3 - Publicerad konferensartikel

SN - 978-3-540-66712-4

SP - 430

EP - 445

BT - UML'99 The Unified Modeling Language

PB - Springer

T2 - conference; 1999-10-28; 1999-10-30

Y2 - 28 October 1999 through 30 October 1999

ER -