المنشورات
2008
A Computer Assisted State Marking Method For Extracting Perfomance Models From Design Models
الصفحات
36-46
University of Warwick