A Timed Automata Semantics for Real-Time UML Specifications

Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings IEEE Symposia on Human-Centric Computing Languages and Environments
Place of PublicationStresa, Italy
PublisherIEEE
Pages88-95
Number of pages8
ISBN (Print)0-7803-7198-4
DOIs
Publication statusPublished - Sep 2001
Externally publishedYes
EventIEEE CS International Symposium on Human-Centric Computing Languages and Environments - Stresa, Italy
Duration: 5 Sep 20017 Sep 2001

Conference

ConferenceIEEE CS International Symposium on Human-Centric Computing Languages and Environments
Abbreviated titleHCC 2001
Country/TerritoryItaly
CityStresa
Period5/09/017/09/01

Cite this