A timed automata semantics for Real-Time UML specifications

WJ Toetenel, E Roubtsova, J van Katwijk

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

6 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Proceedings
Place of Publication	Piscataway
Publisher	IEEE Society
Pages	88-95
Number of pages	8
ISBN (Print)	0-7695-0474-4
Publication status	Published - 2001
Event	2001 IEEE Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy - Piscataway Duration: 5 Sept 2001 → 7 Sept 2001

Name
Publisher	IEEE

Conference	2001 IEEE Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy
Period	5/09/01 → 7/09/01

Keywords

@inproceedings{6c3f282344c74e90a90d3e363b80b96c,

title = "A timed automata semantics for Real-Time UML specifications",

keywords = "ZX Int.klas.verslagjaar < 2002",

author = "WJ Toetenel and E Roubtsova and {van Katwijk}, J",

year = "2001",

language = "Undefined/Unknown",

isbn = "0-7695-0474-4",

publisher = "IEEE Society",

pages = "88--95",

booktitle = "Proceedings",

note = "2001 IEEE Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy ; Conference date: 05-09-2001 Through 07-09-2001",

}

TY - GEN

T1 - A timed automata semantics for Real-Time UML specifications

AU - Toetenel, WJ

AU - Roubtsova, E

AU - van Katwijk, J

PY - 2001

Y1 - 2001

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SN - 0-7695-0474-4

SP - 88

EP - 95

BT - Proceedings

PB - IEEE Society

CY - Piscataway

T2 - 2001 IEEE Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy

Y2 - 5 September 2001 through 7 September 2001

ER -