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 Sep 2001 → 7 Sep 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 = "null ; Conference date: 05-09-2001 Through 07-09-2001",

}