Statistics for An OCL-based verification approach to analyzing static properties of a UML model.
Total visits
views | |
---|---|
An OCL-based verification approach to analyzing static properties of a UML model. | 240 |
Total visits per month
views | |
---|---|
January 2024 | 0 |
February 2024 | 0 |
March 2024 | 0 |
April 2024 | 0 |
May 2024 | 0 |
June 2024 | 0 |
July 2024 | 0 |
File Visits
views | |
---|---|
Wuliang_Sun_masters.pdf | 5413 |
Wuliang_Sun_masters.pdf(legacy) | 1505 |
Top country views
views | |
---|---|
United States | 322 |
China | 32 |
Germany | 27 |
Sweden | 22 |
France | 15 |
Finland | 9 |
India | 8 |
Hong Kong SAR China | 7 |
United Kingdom | 4 |
Pakistan | 4 |
Russia | 4 |
Iran | 3 |
Belgium | 2 |
Belarus | 2 |
Czechia | 2 |
Canada | 1 |
Algeria | 1 |
Ireland | 1 |
Italy | 1 |
South Korea | 1 |
Kazakhstan | 1 |
Morocco | 1 |
Mongolia | 1 |
Netherlands | 1 |
Singapore | 1 |
Tajikistan | 1 |
Ukraine | 1 |
Top city views
views | |
---|---|
Ashburn | 226 |
Woodbridge | 28 |
Beijing | 16 |
Des Moines | 12 |
Philadelphia | 6 |
Tianjin | 6 |
Waco | 6 |
Hamburg | 5 |
Roubaix | 4 |
Zhengzhou | 4 |
Austin | 3 |
Helsinki | 3 |
Ludwigshafen am Rhein | 3 |
Mountain View | 3 |
Rawalpindi | 3 |
Boardman | 2 |
Brooklyn | 2 |
Brussels | 2 |
Laredo | 2 |
Ahrensburg | 1 |
Allahabad | 1 |
Anand | 1 |
Bankeryd | 1 |
Bengaluru | 1 |
Berlin | 1 |
Braunschweig | 1 |
Brno | 1 |
Cambridge | 1 |
Central | 1 |
Chanshan | 1 |
Chomu | 1 |
Council Bluffs | 1 |
Dallas | 1 |
Falkenstein | 1 |
Gomel | 1 |
Grozny | 1 |
Isfahan | 1 |
Kildare | 1 |
Kryvyy Rih | 1 |
Menlo Park | 1 |
Montreal | 1 |
Multan | 1 |
Murmansk | 1 |
New Orleans | 1 |
Old Bridge | 1 |
Ouargla | 1 |
Rabat | 1 |
Redwood City | 1 |
Santa Clara | 1 |
Solan | 1 |
Somerville | 1 |
Southend | 1 |
Washington | 1 |
Xuzhou | 1 |
Yongjiawan | 1 |
Zuyevka | 1 |