Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

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

Total Visits Per Month

November 2017 December 2017 January 2018 February 2018 March 2018 April 2018 May 2018
Designing a provably correct robot control system using a "lean" formal method 15 6 19 27 9 16 16

File Visits

Views
robot-lean.pdf 231
robot-lean.ps 111
robot-lean.pdf.txt 4
license.txt 3

Top country views

Views
United States 202
Russia 70
United Kingdom 49
South Korea 41
Germany 39
France 35
China 21
Ukraine 20
Italy 14
Philippines 10

Top cities views

Views
Moscow 65
Seoul 26
Washington 23
Mountain View 21
Woodbridge 20
Wilmington 19
Ashburn 12
Houston 11
Seongnam 11
Cebu City 10