Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

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

Total Visits Per Month

February 2015 March 2015 April 2015 May 2015 June 2015 July 2015 August 2015
Designing a provably correct robot control system using a "lean" formal method 0 2 8 0 12 1 12

File Visits

Views
robot-lean.pdf 161
robot-lean.ps 83
robot-lean.pdf.txt 4
license.txt 3

Top country views

Views
United States 120
Russia 63
United Kingdom 30
South Korea 27
China 18
Ukraine 17
France 14
Germany 13
Philippines 10
Canada 2

Top cities views

Views
Moscow 61
Seoul 26
Washington 23
Mountain View 21
Cebu City 10
Woodbridge 9
Beijing 6
Leicester 6
Roubaix 6
Wilmington 4