Cookies

We use cookies to help our site work, to understand how it is used, and to tailor ads that are more relevant to you and your interests.

By accepting, you agree to cookies being stored on your device. You can view details and manage settings at any time on our cookies policy page.

Manage settings
Skip to main content
Home

Secondary navigation

  • Alumni
  • Jobs
  • Staff
  • Students

Global main menu

Menu University of Surrey
  • Home
  • About
  • Study
  • Research
  • Innovation
  • Giving
  • Visit
  • Alumni
  • Jobs
  • Staff
  • Students
  • University of Surrey logo
  • Home
  • About
    • About home
    • Facts and figures
      • Key dates
      • Rankings and league tables
      • Student numbers
      • Financial statements
      • Our history
    • Container (strategy)
      • Management
        • Vice-Chancellor
        • Executive Board
      • Strategy
        • Annual review
      • Governance
        • Data protection
    • Container (About news)
      • News and media
        • Find an expert
        • Podcast
      • International engagement
      • In the community
      • Equality, diversity and inclusion
      • Sustainability
      • Teaching innovations
    • Container (About other)
      • Academic departments
      • Job opportunities
      • Library
      • Regulations and procedures
      • Policies
      • Coronavirus information
      • Employability and careers
  • Study
    • Study home
    • Container (column 1 of study)
      • Student life
        • Fees and funding
        • Student support
        • Accommodation
      • Subject areas
      • Professional Training placements
      • Study and work abroad
      • CPD and short courses
    • Undergraduate
      • Courses
      • Foundation courses
      • How to apply
      • Open days
      • Scholarships
    • Postgraduate taught
      • Courses
      • Surrey Online Learning
      • How to apply
      • Open events
      • Scholarships
    • Postgraduate research
      • Programmes
      • Application guidance
      • Open events
      • Studentships
    • International students
      • University pathway programmes
      • Pre-sessional English language courses
      • International arrival guide
  • Research
    • Research home
    • Research and innovation strategy
    • Excellence
    • Centres and facilities
    • Doctoral College
    • Impact
    • Fellows and awards
    • Work with us
    • Prospective research students
    • Institutes
    • News
    • Covid-19 research
    • Research themes
  • Innovation
    • Innovation home
    • Container (column 1)
      • About innovation at Surrey
        • Our innovation heritage
      • For our innovators
        • Start-up companies
        • Spotlight on an innovator
        • Intellectual property code
    • Container (column 2)
      • For our business partners
        • Collaboration opportunities
        • Spotlight on a partner
        • Consultancy
        • Training and education
        • Hire our equipment and facilities
    • Container (column 3)
      • For our investors
      • Covid-19 innovation
      • Innovation funding
      • Surrey Research Park
    • Container (column 4)
      • Work with our students
        • Advertise a job vacancy
        • Recruit a placement student
        • Unitemps
  • Giving
    • Giving home
    • Container
      • Donate to the Forever Surrey Fund
    • Make a regular gift
    • Volunteering
      • Current opportunities
      • Why volunteer?
    • Leave a gift in your will
  • Visit
    • Visit home
    • Open days
    • Our campus
    • Our location
    • Accessibility information
    • Campus tours
    • Events
    • How to get here
Search
Open days
Accommodation
Library
Prospectus
  • Research projectsFormal modelling technology for the analysis of European rail traffic management systems

Formal modelling technology for the analysis of European rail traffic management systems

Start date

01 February 2013

End date

31 August 2014
  • About
  • Team

Funding amount

£19,700

Funders

Royal Academy of Engineering

The Leverhulme Trust

Team

Investigator

Helen Treharne

Professor Helen Treharne

Professor in Computer Science

See profile

Footer menu

  • Study

    • A to Z course list
    • Undergraduate courses
    • Postgraduate courses
    • Research courses
    • Pathway programmes
    • International students
    • CPD and short courses
    • Open days

  • About

    • Academic departments
    • Job opportunities
    • In the community
    • Library
    • Sustainability

  • Information for

    • Staff
    • Current students
    • Media
    • Schools and colleges
    • Visitors
    • Suppliers

  • Contact us

    • Contact us
    • Campus map (PDF)

Accessibility | Data protection | Cookies | Disclaimer | Freedom of information | Modern Slavery Statement (PDF)

© University of Surrey, Guildford, Surrey GU2 7XH, United Kingdom. +44 (0)1483 300800