Formalising UML State Machines for Model Checking

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

126 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	UML'99 The Unified Modeling Language
Förlag	Springer
Sidor	430–445
ISBN (elektroniskt)	978-3-540-46852-3
ISBN (tryckt)	978-3-540-66712-4
DOI	https://doi.org/10.1007/3-540-46852-8_31
Status	Publicerad - 1999
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 1999-10-28; 1999-10-30 - The Unified Modeling Language Beyond the Standard (UML'99) Varaktighet: 28 okt. 1999 → 30 okt. 1999

Konferens	conference; 1999-10-28; 1999-10-30
Period	28/10/99 → 30/10/99

Åtkomst av dokument

@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–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 - Konferensbidrag

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 -