![](/img/cover-not-exists.png)
An UML+Z Framework For Validating And Verifying the Static Aspect of Safety Critical System
Singh, Monika, Sharma, Ashok Kumar, Saxena, RuhiVolume:
85
Year:
2016
Language:
english
Journal:
Procedia Computer Science
DOI:
10.1016/j.procs.2016.05.243
File:
PDF, 418 KB
english, 2016