Expressing and verifying timing requirements with UML

A Al-Daraiseh, J Zalewski, WJ Toetenel

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

Original languageUndefined/Unknown
Title of host publicationISAS SCI 2001: proceedings
Editors N Callaos, ... [et Al]
Place of PublicationOrlando
PublisherInternational Institute of Informatics and Systemics
Pages461-466
Number of pages6
ISBN (Print)980-07-7557-9
Publication statusPublished - 2001
EventWorld Multiconference on Systemics, Cybernetics and Informatics, Orlando - Orlando
Duration: 22 Jul 200125 Jul 2001

Publication series

Name
PublisherInternational Institute of Informatics and Systemics

Conference

ConferenceWorld Multiconference on Systemics, Cybernetics and Informatics, Orlando
Period22/07/0125/07/01

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this