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 Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /

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 org...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Fantechi, Alessandro (Επιμελητής έκδοσης), Lecomte, Thierry (Επιμελητής έκδοσης), Romanovsky, Alexander (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Σειρά:	Lecture Notes in Computer Science, 10598
Θέματα:	Computer science. Microprogramming. Computer organization. Software engineering. Computer security. Computers. Computer Science. Software Engineering. Computing Methodologies. Theory of Computation. Computer Systems Organization and Communication Networks. Systems and Data Security. Control Structures and Microprogramming.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday /
Έκδοση: (2011)

Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers /
Έκδοση: (2017)

Guide to RISC Processors for Programmers and Engineers /
ανά: Dandamudi, Sivarama P.
Έκδοση: (2005)

Pro Mapping in BizTalk Server 2009
ανά: Dawson, Jim, κ.ά.
Έκδοση: (2009)

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /
Έκδοση: (2017)

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings /
Έκδοση: (2014)

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /
Έκδοση: (2017)

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings /
Έκδοση: (2014)

Programming in HTML and PHP Coding for Scientists and Engineers /
ανά: Brooks, David R.
Έκδοση: (2017)

Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings /
Έκδοση: (2015)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /
Έκδοση: (2016)

An Investigation into the Detection and Mitigation of Denial of Service (DoS) Attacks Critical Information Infrastructure Protection /
Έκδοση: (2011)

Constructive Side-Channel Analysis and Secure Design 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers /
Έκδοση: (2017)

Critical Information Infrastructures Security 11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers /
Έκδοση: (2017)

Measurement, Control, and Communication Using IEEE 1588
ανά: Eidson, John C.
Έκδοση: (2006)

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers /
Έκδοση: (2008)

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /
ανά: Kormanyos, Christopher
Έκδοση: (2015)

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /
ανά: Kormanyos, Christopher
Έκδοση: (2013)

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /
Έκδοση: (2016)

Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
Έκδοση: (2015)

Reflections on the History of Computing Preserving Memories and Sharing Stories /
Έκδοση: (2012)

Frontier Computing Theory, Technologies and Applications /
Έκδοση: (2016)

VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA /
Έκδοση: (2009)

Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28–30, 2017, Proceedings /
Έκδοση: (2017)

Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers /
Έκδοση: (2018)

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings /
Έκδοση: (2011)

Selected Areas in Cryptography – SAC 2016 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised Selected Papers /
Έκδοση: (2017)

Distributed Embedded Control Systems Improving Dependability with Coherent Design /
ανά: Colnarič, Matjaž, κ.ά.
Έκδοση: (2008)

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings /
Έκδοση: (2010)

VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papers /
Έκδοση: (2011)

VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers /
Έκδοση: (2012)

VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers /
Έκδοση: (2010)

Quantitative Measure for Discrete Event Supervisory Control
Έκδοση: (2005)

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /
Έκδοση: (2018)

Understanding Control Flow Concurrent Programming Using μC++ /
ανά: Buhr, Peter A.
Έκδοση: (2016)

Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings /
Έκδοση: (2019)

Microelectronic Systems Circuits, Systems and Applications /
Έκδοση: (2011)

Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /
Έκδοση: (2009)

Practical Fashion Tech Wearable Technologies for Costuming, Cosplay, and Everyday /
ανά: Horvath, Joan, κ.ά.
Έκδοση: (2016)

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings /
Έκδοση: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_j2hua76n16hv1831k6decfm5jg