vUML: A Tool for Verifying UML Models

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

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	The 14th IEEE International Conference on Automated Software Engineering
Förlag	IEEE Computer Society
Sidor	255–258
ISBN (tryckt)	0-7695-0415-9
DOI	https://doi.org/10.1109/ASE.1999.802301
Status	Publicerad - 1999
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 1999-10-12; 1999-10-15 - 14th IEEE International Conference on Automated Software Engineering Cocoa Beach, Florida Varaktighet: 12 okt. 1999 → 15 okt. 1999

Konferens	conference; 1999-10-12; 1999-10-15
Period	12/10/99 → 15/10/99

Åtkomst av dokument

@inproceedings{16283fe2297b4a8f986a1ae1816c8c6c,

title = "vUML: A Tool for Verifying UML Models",

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

year = "1999",

doi = "10.1109/ASE.1999.802301",

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

isbn = "0-7695-0415-9",

pages = "255–258",

booktitle = "The 14th IEEE International Conference on Automated Software Engineering",

publisher = "IEEE Computer Society",

note = "conference; 1999-10-12; 1999-10-15 ; Conference date: 12-10-1999 Through 15-10-1999",

}

TY - GEN

T1 - vUML: A Tool for Verifying UML Models

AU - Lilius, Johan

AU - Porres Paltor, Ivan

PY - 1999

Y1 - 1999

U2 - 10.1109/ASE.1999.802301

DO - 10.1109/ASE.1999.802301

M3 - Konferensbidrag

SN - 0-7695-0415-9

SP - 255

EP - 258

BT - The 14th IEEE International Conference on Automated Software Engineering

PB - IEEE Computer Society

T2 - conference; 1999-10-12; 1999-10-15

Y2 - 12 October 1999 through 15 October 1999

ER -