Formal methods for railway control systems (English)
- New search for: Fantechi, Alessandro
- New search for: Flammini, Francesco
- New search for: Gnesi, Stefania
- New search for: Fantechi, Alessandro
- New search for: Flammini, Francesco
- New search for: Gnesi, Stefania
In:
International Journal on Software Tools for Technology Transfer
;
16
, 6
; 643-646
;
2014
-
ISSN:
- Article (Journal) / Print
-
Title:Formal methods for railway control systems
-
Contributors:
-
Published in:International Journal on Software Tools for Technology Transfer ; 16, 6 ; 643-646
-
Publisher:
- New search for: Springer Berlin Heidelberg
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2014
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.52
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.52 Software engineering -
Source:
Table of contents – Volume 16, Issue 6
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 643
-
Formal methods for railway control systemsFantechi, Alessandro / Flammini, Francesco / Gnesi, Stefania et al. | 2014
- 647
-
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutionsFerrari, Alessio / Spagnolo, Giorgio O. / Martelli, Giacomo / Menabeni, Simone et al. | 2014
- 669
-
Towards Model-Driven V&V assessment of railway control systemsMarrone, Stefano / Flammini, Francesco / Mazzocca, Nicola / Nardone, Roberto / Vittorini, Valeria et al. | 2014
- 685
-
Techniques for modelling and verifying railway interlockingsJames, Phillip / Moller, Faron / Nguyen, Hoang Nga / Roggenbach, Markus / Schneider, Steve / Treharne, Helen et al. | 2014
- 713
-
Automated generation of formal safety conditions from railway interlocking tablesHaxthausen, Anne E. et al. | 2013
- 727
-
Survey on test data generation toolsGaller, Stefan J. / Aichernig, Bernhard K. et al. | 2013
- 753
-
Model checking evaluation of airplane landing trajectoriesQuer, Stefano et al. | 2013