Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

Computer science. --- Computer communication systems. --- Software engineering. --- Computer security. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer Communication Networks. --- Systems and Data Security. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Computer science logic --- Computer privacy --- Computer system security --- Computer systems --- Computers --- Cyber security --- Cybersecurity --- Electronic digital computers --- Security of computer systems --- Computer software engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Informatics --- Security measures --- Protection of computer systems --- Protection --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical --- Data protection --- Security systems --- Hacking --- Engineering --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Science --- Distributed processing --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer networks. --- Data protection. --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Data and Information Security. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Data governance --- Data regulation --- Personal data protection --- Protection, Data