Green Light for Smarter Methods in Railway Safety Verification

Activity: Talks and presentationsConference presentations

Description

Invited pitch talk
Period31 May 2017
Event titleTransport Summer Summit DTU 2017: Challenges, research and new developments within transportation, mobility and sustainability
Event typeConference
LocationKgs. Lyngby, Denmark

Keywords

  • formal methods
  • railways