Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /

Código QR

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Fantechi, Alessandro. (Editor ), Lecomte, Thierry. (Editor ), Romanovsky, Alexander. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Programming and Software Engineering ; 10598
Materias:	Software engineering. Artificial intelligence. Computers. Computer organization. Computer security. Microprogramming . Software Engineering. Artificial Intelligence. Theory of Computation. Computer Systems Organization and Communication Networks. Systems and Data Security. Control Structures and Microprogramming.

Ejemplares similares

Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
Publicado: (2017)

Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings /
Publicado: (2017)

Theory and Applications of Satisfiability Testing – SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /
Publicado: (2017)

Information Security 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings /
Publicado: (2017)

Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28–30, 2017, Proceedings /
Publicado: (2017)

Security, Privacy, and Anonymity in Computation, Communication, and Storage : SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings /
Publicado: (2017)

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 /
Publicado: (2017)

Security, Privacy, and Anonymity in Computation, Communication, and Storage : 10th International Conference, SpaCCS 2017, Guangzhou, China, December 12-15, 2017, Proceedings /
Publicado: (2017)

Financial Cryptography and Data Security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers /
Publicado: (2017)

Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
Publicado: (2017)

Machine Learning and Systems Engineering /
Publicado: (2010)

Verifiable Privacy Protection for Vehicular Communication Systems /
por: Förster, David.
Publicado: (2017)

Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /
Publicado: (2017)

Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /
Publicado: (2017)

Internet of Vehicles. Technologies and Services for Smart Cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings /
Publicado: (2017)

Smart Cities, Green Technologies, and Intelligent Transport Systems : 5th International Conference, SMARTGREENS 2016, and Second International Conference, VEHITS 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers /
Publicado: (2017)

High Performance Computing Third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29–September 2, 2016, Revised Selected Papers /
Publicado: (2017)

Critical Information Infrastructures Security : 11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers /
Publicado: (2017)

Software Engineering for Self-Adaptive Systems III. Assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers /
Publicado: (2017)

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Publicado: (2017)

Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings /
Publicado: (2017)

Machine Learning and Knowledge Extraction : First IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference, CD-MAKE 2017, Reggio, Italy, August 29 – September 1, 2017, Proceedings /
Publicado: (2017)

Towards Integrative Machine Learning and Knowledge Extraction : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers /
Publicado: (2017)

Distributed Embedded Control Systems : Improving Dependability with Coherent Design /
por: Colnaric, Matjaž., et al.
Publicado: (2008)

Programming in HTML and PHP Coding for Scientists and Engineers /
por: Brooks, David R.
Publicado: (2017)

On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I /
Publicado: (2017)

Security and Privacy in Communication Networks : 12th International Conference, SecureComm 2016, Guangzhou, China, October 10-12, 2016, Proceedings /
Publicado: (2017)

Cloud as a Service : Understanding the Service Innovation Ecosystem /
por: Castro-Leon, Enrique., et al.
Publicado: (2016)

Information, Communication and Computing Technology Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised Selected Papers /
Publicado: (2017)

Mobile, Secure, and Programmable Networking Third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised Selected Papers /
Publicado: (2017)

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
Publicado: (2017)

Intelligence and Security Informatics : 12th Pacific Asia Workshop, PAISI 2017, Jeju Island, South Korea, May 23, 2017, Proceedings /
Publicado: (2017)

Cisco Routers for the Small Business : A Practical Guide for IT Professionals /
por: Neumann, Jason.
Publicado: (2009)

Constructive Side-Channel Analysis and Secure Design : 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers /
Publicado: (2017)

Network and Parallel Computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings /
Publicado: (2017)

Mobile Web and Intelligent Information Systems 14th International Conference, MobiWIS 2017, Prague, Czech Republic, August 21-23, 2017, Proceedings /
Publicado: (2017)

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings /
Publicado: (2017)

Security and Trust Management : 13th International Workshop, STM 2017, Oslo, Norway, September 14–15, 2017, Proceedings /
Publicado: (2017)

Human Aspects of IT for the Aged Population. Applications, Services and Contexts Third International Conference, ITAP 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II /
Publicado: (2017)

Human Aspects of IT for the Aged Population. Aging, Design and User Experience Third International Conference, ITAP 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I /
Publicado: (2017)