BibTeX
CSL-JSON
MLA
Harvard
An Approach to Verifying Security and Timing Properties in UML Models
release_jk7bsff7d5hwndkd2xoeszkbcy
by
Vidhi Thapa, Eunjee Song, Hanil Kim
Published
in IEEE International Conference on Engineering of Complex Computer Systems by IEEE.
2010 p193-202
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
Stage
Year 2010
paper-conference
Stage
published
Year 2010
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar