Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

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

Total Visits Per Month

August 2017 September 2017 October 2017 November 2017 December 2017 January 2018 February 2018
Designing a provably correct robot control system using a "lean" formal method 2 5 10 15 6 19 23

File Visits

Views
robot-lean.pdf 220
robot-lean.ps 100
robot-lean.pdf.txt 4
license.txt 3

Top country views

Views
United States 194
Russia 70
United Kingdom 42
Germany 39
France 29
South Korea 29
China 21
Ukraine 20
Philippines 10
Italy 8

Top cities views

Views
Moscow 65
Seoul 26
Washington 23
Mountain View 21
Woodbridge 19
Wilmington 16
Houston 11
Cebu City 10
Ashburn 8
Leicester 7