RT @DTUSwEng: Anne Haxthausen, from our section, presenting the paper "A Domain-Specific Language for Generic Interlocking Models and Their…
1,709 followers
87 followers
Anne Haxthausen, from our section, presenting the paper "A Domain-Specific Language for Generic Interlocking Models and Their Properties" at #RSSRail17 in Pistoia @DTUtweet @DTU_Compute https://t.co/qQziCkL8v5 https://t.co/tAOUI0Ibs8
594 followers
RT @RailAutomation: Proceedings #RSSRail2017 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and C…
951 followers
Proceedings #RSSRail2017 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification are now available from https://t.co/If6JGj8l10