![](/img/cover-not-exists.png)
[IEEE 2008 Third International Conference on Availability, Reliability and Security - (2008.03.4-2008.03.7)] 2008 Third International Conference on Availability, Reliability and Security - Property Specification and Static Verification of UML Models
Siveroni, Igor, Zisman, Andrea, Spanoudakis, GeorgeYear:
2008
Language:
english
DOI:
10.1109/ares.2008.194
File:
PDF, 371 KB
english, 2008