An Approach to Verifying Security and Timing Properties in UML Models release_jk7bsff7d5hwndkd2xoeszkbcy

by Vidhi Thapa, Eunjee Song, Hanil Kim

Archived Files and Locations

application/pdf  1.3 MB
file_45zdlknnsrbwjkuwg7ot4wsckm
web.archive.org (webarchive)
ulir.ul.ie (web)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2010
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: b0ea31a7-fe29-4e37-b6f3-e93caa000a3d
API URL: JSON