國立虎尾科技大學 |

Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Reliability, safety, and security of railway systems/ edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky.
Reminder of title:	modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings /
remainder title:	RSSRail 2017
other author:	Fantechi, Alessandro.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer International Publishing : : 2017.,
Description:	xviii, 265 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Railroads - Congresses. - Safety measures -
Online resource:	https://doi.org/10.1007/978-3-319-68499-4
ISBN:	9783319684994

Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings /
Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings /[electronic resource] :RSSRail 2017edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky. - Cham :Springer International Publishing :2017. - xviii, 265 p. :ill., digital ;24 cm. - Lecture notes in computer science,105980302-9743 ;. - Lecture notes in computer science ;6140..

This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length.

ISBN: 9783319684994

Standard No.: 10.1007/978-3-319-68499-4doiSubjects--Topical Terms:

1110039
Railroads
--Safety measures--Congresses.

LC Class. No.: TF610

Dewey Class. No.: 625.1

Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings /
LDR:01845nam a2200349 a 4500 001 940071
003 DE-He213
005 20190620031316.0
006 m d
007 cr nn 008maaau
008 200417s2017 gw s 0 eng d
020 $a 9783319684994 $q (electronic bk.)
020 $a 9783319684987 $q (paper)
024 7 $a 10.1007/978-3-319-68499-4 $2 doi
035 $a 978-3-319-68499-4
040 $a GP $c GP
041 0 $a eng
050 4 $a TF610
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 625.1 $2 23
090 $a TF610 $b .R893 2017
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Reliability, safety, and security of railway systems $h [electronic resource] : $b modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings / $c edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky.
246 3 $a RSSRail 2017
260 $a Cham : $c 2017. $b Springer International Publishing : $b Imprint: Springer,
300 $a xviii, 265 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10598
490 1 $a Programming and software engineering
520 $a This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length.
650 0 $a Railroads $x Safety measures $v Congresses. $3 1110039
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Theory of Computation. $3 669322
650 2 4 $a Computer Systems Organization and Communication Networks. $3 669309
650 2 4 $a Systems and Data Security. $3 677062
650 2 4 $a Control Structures and Microprogramming. $3 669788
700 1 $a Fantechi, Alessandro. $3 1067799
700 1 $a Lecomte, Thierry. $3 1110038
700 1 $a Romanovsky, Alexander. $3 674752
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
830 0 $a Programming and software engineering. $3 1208283
856 4 0 $u https://doi.org/10.1007/978-3-319-68499-4
950 $a Computer Science (Springer-11645)