Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

Views
Designing a provably correct robot control system using a "lean" formal method 515

Total Visits Per Month

February 2016 March 2016 April 2016 May 2016 June 2016 July 2016 August 2016
Designing a provably correct robot control system using a "lean" formal method 5 0 4 11 31 20 2

File Visits

Views
robot-lean.pdf 204
robot-lean.ps 92
robot-lean.pdf.txt 4
license.txt 3

Top country views

Views
United States 138
Russia 68
United Kingdom 37
Germany 28
South Korea 27
France 21
China 20
Ukraine 19
Philippines 10
Netherlands 7

Top cities views

Views
Moscow 65
Seoul 26
Washington 23
Mountain View 21
Cebu City 10
Woodbridge 9
Wilmington 8
Leicester 7
Beijing 6
Roubaix 6