Items where Author is "Tjoa, S"
Up a level
Group by: Type | No Grouping
Number of items: 1.
Siveroni, I., Zisman, A. & Spanoudakis, G. (2008). Property specification and static verification of UML models. In: Jakoubi, S, Tjoa, S & Weippl, ER (Eds.), ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY. Availability, Reliability and Security, 2008. ARES 08. Third International Conference on, 4 - 7 Mar 2008, Barcelona, Spain.