Estadísticas de Test Case Generation from a Z Specification of the Landing Gear System
Visitas totales
| views | |
|---|---|
| Test Case Generation from a Z Specification of the Landing Gear System | 1513 |
Visitas totales por mes
| views | |
|---|---|
| May 2024 | 0 |
| June 2024 | 0 |
| July 2024 | 0 |
| August 2024 | 0 |
| September 2024 | 0 |
| October 2024 | 0 |
| November 2024 | 0 |
Visitas de archivo
| views | |
|---|---|
| lgs-techReport.pdf | 1677 |
Vistas principales por país
| views | |
|---|---|
| United States | 489 |
| China | 246 |
| Germany | 107 |
| France | 74 |
| Argentina | 71 |
| United Kingdom | 53 |
| Poland | 33 |
| Ukraine | 33 |
| Sweden | 25 |
| Italy | 18 |
| Canada | 11 |
| Austria | 10 |
| Czechia | 9 |
| Japan | 8 |
| Russia | 6 |
| South Korea | 5 |
| Vietnam | 5 |
| Colombia | 4 |
| Mexico | 4 |
| Nigeria | 4 |
| Switzerland | 3 |
| Malaysia | 3 |
| Peru | 3 |
| Netherlands Antilles | 2 |
| Finland | 2 |
| Portugal | 2 |
| Spain | 1 |
| European Union | 1 |
| Romania | 1 |
Visitas principales por ciudad
| views | |
|---|---|
| Shenzhen | 110 |
| Sunnyvale | 91 |
| Roubaix | 67 |
| White Plains | 67 |
| Buenos Aires | 54 |
| Gunzenhausen | 46 |
| Jacksonville | 45 |
| Kiez | 43 |
| Kraków | 33 |
| Kiev | 31 |
| Ann Arbor | 18 |
| Warrington | 18 |
| Wilmington | 18 |
| Stockholm | 14 |
| Houston | 13 |
| Mountain View | 11 |
| Rosario | 10 |
| Alexandria | 8 |
| Chicago | 8 |
| Milan | 8 |
| Washington | 8 |
| Mcallen | 7 |
| Vienna | 7 |
| Brno | 6 |
| Indianapolis | 6 |
| Ottawa | 6 |
| Philadelphia | 6 |
| San Francisco | 6 |
| Dong Ket | 5 |
| Seattle | 5 |
| Seoul | 5 |
| Baltimore | 4 |
| Bondy | 4 |
| Durach | 4 |
| Egham | 4 |
| London | 4 |
| Nürnberg | 4 |
| Wendlingen | 4 |
| Älvsjö | 4 |
| Abingdon | 3 |
| Beijing | 3 |
| Bogotá | 3 |
| Cambridge | 3 |
| Fairfield | 3 |
| Graz | 3 |
| Hangzhou | 3 |
| Norrtälje | 3 |
| Saint Petersburg | 3 |
| Slapanice | 3 |
| Toronto | 3 |
| Tustin | 3 |
| Umeå | 3 |
| Zürich | 3 |
| Auburn Hills | 2 |
| Córdoba | 2 |
| Duluth | 2 |
| Falls Church | 2 |
| Grùmolo | 2 |
| Leipzig | 2 |
| Montreal | 2 |
| Norwalk | 2 |
| Palaiseau | 2 |
| Penang | 2 |
| Plymouth | 2 |
| Rojas | 2 |
| University Park | 2 |
| Vila Nova De Gaia | 2 |
| Vladimir | 2 |
| Arequipa | 1 |
| Baldwinsville | 1 |
| Bucharest | 1 |
| Cali | 1 |
| Caythorpe | 1 |
| Charleston | 1 |
| Columbus | 1 |
| Eden Prairie | 1 |
| Exeter | 1 |
| Frankfurt Am Main | 1 |
| Fukuoka | 1 |
| Gosheim | 1 |
| Hanover | 1 |
| Helsinki | 1 |
| Ilford | 1 |
| Malvern | 1 |
| Milton Keynes | 1 |
| Newton Abbot | 1 |
| Overland Park | 1 |
| Pasadena | 1 |
| Perstorp | 1 |
| Richmond | 1 |
| San Isidro | 1 |
| Santa Fe | 1 |
| Seinäjoki | 1 |
| Somerville | 1 |
| Urmitz | 1 |
| Vendegies-sur-Écaillon | 1 |