Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

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

Total Visits Per Month

August 2016 September 2016 October 2016 November 2016 December 2016 January 2017 February 2017
Designing a provably correct robot control system using a "lean" formal method 2 2 1 6 3 1 1

File Visits

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

Top country views

Views
United States 146
Russia 68
United Kingdom 38
Germany 30
South Korea 28
France 21
China 20
Ukraine 19
Philippines 10
Netherlands 7

Top cities views

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