Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

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

Total Visits Per Month

February 2017 March 2017 April 2017 May 2017 June 2017 July 2017 August 2017
Designing a provably correct robot control system using a "lean" formal method 1 4 1 4 4 10 2

File Visits

Views
robot-lean.pdf 213
robot-lean.ps 96
robot-lean.pdf.txt 4
license.txt 3

Top country views

Views
United States 152
Russia 69
United Kingdom 39
Germany 37
South Korea 28
France 22
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 10
Leicester 7
Beijing 6
Roubaix 6