City Research Online

Items where Author is "Weippl, ER"

Up a level
Group by: Type | No Grouping
Number of items: 1.

Conference or Workshop Item

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.

This list was generated on Thu Mar 28 07:33:57 2024 UTC.