Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

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

Total Visits Per Month

September 2014 October 2014 November 2014 December 2014 January 2015 February 2015 March 2015
Designing a provably correct robot control system using a "lean" formal method 1 1 11 3 2 0 0

File Visits

Views
robot-lean.pdf 153
robot-lean.ps 70
robot-lean.pdf.txt 4
license.txt 3

Top country views

Views
United States 105
Russia 63
South Korea 26
United Kingdom 24
Ukraine 16
China 13
France 13
Germany 10
Philippines 10
Canada 2

Top cities views

Views
Moscow 61
Seoul 26
Washington 23
Mountain View 21
Cebu City 10
Leicester 6
Roubaix 6
Cupertino 3
Dallas 3
Hyderabad 2