A Timed Automata Semantics for Real-Time UML Specifications

Hans Toetenel; Ella E. Roubtsova; Jan van Katwijk

doi:10.1109/HCC.2001.995243

A Timed Automata Semantics for Real-Time UML Specifications

Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Original language	English
Title of host publication	Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments
Place of Publication	Stresa, Italy
Publisher	IEEE
Pages	88-95
Number of pages	8
ISBN (Print)	0-7803-7198-4
DOIs	https://doi.org/10.1109/HCC.2001.995243
Publication status	Published - Sept 2001
Externally published	Yes
Event	IEEE CS International Symposium on Human-Centric Computing Languages and Environments - Stresa, Italy Duration: 5 Sept 2001 → 7 Sept 2001

Conference

Conference	IEEE CS International Symposium on Human-Centric Computing Languages and Environments
Abbreviated title	HCC 2001
Country/Territory	Italy
City	Stresa
Period	5/09/01 → 7/09/01

Access to Document

10.1109/HCC.2001.995243

Cite this

@inproceedings{99583bfd708f4cb9b9929f7b4686eaa3,

title = "A Timed Automata Semantics for Real-Time UML Specifications",

author = "Hans Toetenel and Roubtsova, {Ella E.} and Katwijk, {Jan van}",

year = "2001",

month = sep,

doi = "10.1109/HCC.2001.995243",

language = "English",

isbn = "0-7803-7198-4",

pages = "88--95",

booktitle = "Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments",

publisher = "IEEE",

address = "United States",

note = "IEEE CS International Symposium on Human-Centric Computing Languages and Environments, HCC 2001 ; Conference date: 05-09-2001 Through 07-09-2001",

}

Toetenel, H, Roubtsova, EE & Katwijk, JV 2001, A Timed Automata Semantics for Real-Time UML Specifications. in Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments. IEEE, Stresa, Italy, pp. 88-95, IEEE CS International Symposium on Human-Centric Computing Languages and Environments, Stresa, Italy, 5/09/01. https://doi.org/10.1109/HCC.2001.995243

TY - GEN

T1 - A Timed Automata Semantics for Real-Time UML Specifications

AU - Toetenel, Hans

AU - Roubtsova, Ella E.

AU - Katwijk, Jan van

PY - 2001/9

Y1 - 2001/9

U2 - 10.1109/HCC.2001.995243

DO - 10.1109/HCC.2001.995243

M3 - Conference Article in proceeding

SN - 0-7803-7198-4

SP - 88

EP - 95

BT - Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments

PB - IEEE

CY - Stresa, Italy

T2 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments

Y2 - 5 September 2001 through 7 September 2001

ER -