Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juni 2016
Genre:	EDV / Informatik
	Artificial Intelligence / C / Computer architecture & logic design / Computer Communication Networks / Computer communication systems / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computer security / Computersicherheit / Data and Information Security / Formal Languages and Automata Theory / Künstliche Intelligenz / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Network hardware / Network Security / Netzwerk-Hardware / Netzwerksicherheit / Software Engineering / Systems and Data Security / Theoretische Informatik mehr...
ISBN:	9783319339504
EAN-Code:	9783319339504
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#9707 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	4102 gr
Seiten:	255
Illustration:	XII, 255 p. 55 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016. The 15 revised full papers presented were carefully reviewed andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem specification and refinement, security analysis of ERTMS, safetyverification, formalisation of requirements, proof automation,operational security, railway system reliability, risk assessment forERTMS, and verification of EN-50128 safety requirements.