Export Citations
1 Results for: Keyword: Z/EVES
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Full-Text Collection (773,913 records)|Expand your search to The ACM Guide to Computing Literature (3,835,775 records)
- research-articleMarch 2016
A Rigorous Framework for Verification & Validation of Dynamic Aspect of Safety Critical System
ICTCS '16: Proceedings of the Second International Conference on Information and Communication Technology for Competitive StrategiesArticle No.: 103, Pages 1–8https://doi.org/10.1145/2905055.2905162Being rich in the graphical notation, Unified Modeling Language (UML) is regarded as a de facto standard for visualizing, constructing and analyzing the software artifacts in both the domain i.e. in industries as well as in academia. Although UML has ...