SaRDIn - A Safe Reconfigurable Distributed Interlocking

Alessandro Fantechi; S.  Gnesi; Anne Elisabeth Haxthausen; J.  van de Pol; M.  Roveri; H.  Treharne

SaRDIn - A Safe Reconfigurable Distributed Interlocking

Alessandro Fantechi
, S. Gnesi
, Anne Elisabeth Haxthausen
, J. van de Pol
, M. Roveri
, H. Treharne

Department of Applied Mathematics and Computer Science

National Research Council of Italy
University of Twente
Fondazione Bruno Kessler
University of Surrey

Research output: Contribution to conference › Poster › Research › peer-review

239 Downloads (Orbit)

Original language	English
Publication date	2016
Number of pages	1
Publication status	Published - 2016
Event	The International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification, and Certification - Espace du Centenaire, Maison de la RATP, Paris, France Duration: 28 Jun 2016 → 30 Jun 2016 Conference number: 1 https://conferences.ncl.ac.uk/rssrail/

Conference

Conference	The International Conference on Reliability, Safety and Security of Railway Systems
Number	1
Location	Espace du Centenaire, Maison de la RATP
Country/Territory	France
City	Paris
Period	28/06/2016 → 30/06/2016
Internet address	https://conferences.ncl.ac.uk/rssrail/

Access to Document

RSSR2016SardinPosterFinal published version, 657 KB

OpenUrl availability

Check availability in DTU Findit

Cite this

@conference{1b7baecc142b4545bcf9793f516fd965,

title = "SaRDIn - A Safe Reconfigurable Distributed Interlocking",

author = "Alessandro Fantechi and S. Gnesi and Haxthausen, \{Anne Elisabeth\} and \{van de Pol\}, J. and M. Roveri and H. Treharne",

year = "2016",

language = "English",

note = "The International Conference on Reliability, Safety and Security of Railway Systems : Modelling, Analysis, Verification, and Certification, RSSRail 2016 ; Conference date: 28-06-2016 Through 30-06-2016",

url = "https://conferences.ncl.ac.uk/rssrail/",

}

TY - CONF

T1 - SaRDIn - A Safe Reconfigurable Distributed Interlocking

AU - Fantechi, Alessandro

AU - Gnesi, S.

AU - Haxthausen, Anne Elisabeth

AU - van de Pol, J.

AU - Roveri, M.

AU - Treharne, H.

N1 - Conference code: 1

PY - 2016

Y1 - 2016

M3 - Poster

T2 - The International Conference on Reliability, Safety and Security of Railway Systems

Y2 - 28 June 2016 through 30 June 2016

ER -