A timed automata semantics for Real-Time UML specifications

WJ Toetenel, E Roubtsova, J van Katwijk

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

6 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationProceedings
Place of PublicationPiscataway
PublisherIEEE Society
Pages88-95
Number of pages8
ISBN (Print)0-7695-0474-4
Publication statusPublished - 2001
Event2001 IEEE Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy - Piscataway
Duration: 5 Sep 20017 Sep 2001

Publication series

Name
PublisherIEEE

Conference

Conference2001 IEEE Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy
Period5/09/017/09/01

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this