Verifying deadlock and nondeterminism in activity diagrams

Clicks: 12
ID: 80343
2019
Article Quality & Performance Metrics
Overall Quality Improving Quality
0.0 /100
Combines engagement data with AI-assessed academic quality
AI Quality Assessment
Not analyzed
Abstract
Abstract is not available for this article.
Login to Search Abstract
Reference Key
lima2019verifyingproceedings Use this key to autocite in the manuscript while using SciMatic Manuscript Manager or Thesis Manager
Authors Lima, L.
Journal proceedings - 2019 acm/ieee 22nd international conference on model driven engineering languages and systems companion, models-c 2019
Year 2019
DOI
10.1109/MODELS-C.2019.00119
URL
Keywords Keywords not found

Citations

No citations found. To add a citation, contact the admin at info@scimatic.org

Comments

No comments yet. Be the first to comment on this article.