Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

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

Total Visits Per Month

October 2015 November 2015 December 2015 January 2016 February 2016 March 2016 April 2016
Designing a provably correct robot control system using a "lean" formal method 7 7 2 0 5 0 4

File Visits

Views
robot-lean.pdf 199
robot-lean.ps 86
robot-lean.pdf.txt 4
license.txt 3

Top country views

Views
United States 127
Russia 68
United Kingdom 32
South Korea 27
China 20
Ukraine 18
France 17
Germany 14
Philippines 10
Japan 3

Top cities views

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