Cargando…

Reliability, safety, and security of railway systems modelling, analysis, verification, and certification: first international conference, RSSRAIL 2016, Paris, France, June 28-30, 2016, proceedings

Detalles Bibliográficos
Autores principales:	Lecomte, Thierry, Pinger, Ralf, Romanovsky, Alexander
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2764181

Ejemplares similares

Pursuit of the universal: 12th conference on computability in Europe, CIE 2016, Paris, France, June 27 - July 1, 2016, proceedings
por: Beckmann, Arnold, et al.
Publicado: (2016)

Future network systems and security: second international conference, FNSS 2016, Paris, France, November 23-25, 2016, proceedings
por: Doss, Robin, et al.
Publicado: (2016)

Mobile, secure, and programmable networking: second international conference, MSPN 2016, Paris, France, June 1-3, 2016, revised selected papers
por: Boumerdassi, Selma, et al.
Publicado: (2016)

Sepsis 2016 Paris: Paris, France. 6-8 December 2016
por: Ingles, Marcia, et al.
Publicado: (2016)

Distributed computing: 30th international symposium, DISC 2016, Paris, France, September 27-29, 2016 proceedings
por: Gavoille, Cyril, et al.
Publicado: (2016)

Proceedings of the IX International Symposium on Phlebotomine Sandflies (ISOPS IX), Reims, France, June 28th–July 1st, 2016
por: Depaquit, Jérôme, et al.
Publicado: (2016)

Research in attacks, intrusions, and defenses: 19th international symposium, RAID 2016, Paris, France, September 19-21, 2016, proceedings
por: Monrose, Fabian, et al.
Publicado: (2016)

Computational topology in image context: 6th international workshop, CTIC 2016, Marseille, France, June 15-17, 2016, proceedings
por: Bac, Alexandra, et al.
Publicado: (2016)

Advanced information systems engineering: 28th international conference, CAISE 2016, Ljubljana, Slovenia, June 13-17, 2016 proceedings
por: Nurcan, Selmin, et al.
Publicado: (2016)

Applied cryptography and network security: 14th international conference, ACNS 2016, Guildford, UK, June 19-22, 2016 proceedings
por: Manulis, Mark, et al.
Publicado: (2016)

Network and system security: 10th international conference, NSS 2016, Taipei, Taiwan, September 28-30, 2016, proceedings
por: Chen, Jiageng, et al.
Publicado: (2016)

Critical information infrastructures security: 11th international conference, CRITIS 2016, Paris, France, October 10-12, 2016, revised selected papers
por: Havarneanu, Grigore, et al.
Publicado: (2017)

Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part II
por: Chaudhuri, Swarat, et al.
Publicado: (2016)

Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part I
por: Chaudhuri, Swarat, et al.
Publicado: (2016)

Cognitive radio oriented wireless networks: 11th international conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016, proceedings
por: Noguet, Dominique, et al.
Publicado: (2016)

Proceedings of the 2016 China Cancer Immunotherapy Workshop: Beijing, China. 25-26 June 2016
por: Xue, Bin, et al.
Publicado: (2016)

Windows Server 2016 security, certificates, and remote access cookbook: recipe-based guide for security, networking and PKI in Windows Server 2016
por: Krause, Jordan
Publicado: (2018)

Applications and techniques in information security: 6th international conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016, proceedings
por: Batten, Lynn, et al.
Publicado: (2016)

Interoperability, safety and security in IoT: second international conference, InterIoT 2016 and third international conference, InterIoT 2016, Paris, France, October 26-27, 2016, revised selected papers
por: Mitton, Nathalie, et al.
Publicado: (2017)

Highlights from the 2016 WIN Symposium, 27–29 June 2016, Paris: personalised therapy beyond next-generation sequencing
por: Schilsky, Richard, et al.
Publicado: (2016)

In the June 2016 issue
por: Nitrini, Ricardo
Publicado: (2016)

Runtime verification: 16th international conference, RV 2016, Madrid, Spain, September 23-30, 2016, proceedings
por: Falcone, Yliès, et al.
Publicado: (2016)

ICT systems security and privacy protection: 31st IFIP TC 11 international conference, SEC 2016, Ghent, Belgium, May 30 - June 1, 2016, proceedings
por: Hoepman, Jaap-Henk, et al.
Publicado: (2016)

Software reuse: 15th international conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, proceedings
por: Kapitsaki, Georgia M, et al.
Publicado: (2016)

Smart cities: first international conference, Smart-CT 2016, Málaga, Spain, June 15-17, 2016, proceedings
por: Alba, Enrique, et al.
Publicado: (2016)

Pattern recognition: 8th Mexican conference, MCPR 2016, Guanajuato, Mexico, June 22-25, 2016 proceedings
por: Martínez-Trinidad, José Francisco, et al.
Publicado: (2016)

Hybrid metaheuristics: 10th international workshop, HM 2016, Plymouth, UK, June 8-10, 2016, proceedings
por: Blesa, Maria J, et al.
Publicado: (2016)

Frontiers in algorithmics: 10th international workshop, FAW 2016, Qingdao, China, June 30 - July 2, 2016, proceedings
por: Zhu, Daming, et al.
Publicado: (2016)

Advanced information systems engineering workshops: CAISE 2016 international workshops, Ljubljana, Slovenia, June 13-17, 2016, proceedings
por: Krogstie, John, et al.
Publicado: (2016)

Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
por: Ábrahám, Erika, et al.
Publicado: (2016)

Experimental algorithms: 14th international symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, proceedings
por: Bampis, Evripidis
Publicado: (2015)

Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
por: Ribeiro, Leila, et al.
Publicado: (2016)

ALICE Experiment June 2016
por: Bennett, Sophia Elizabeth
Publicado: (2016)

Security and privacy in communication networks: 12th international conference, SecureComm 2016, Guangzhou, China, October 10-12, 2016, proceedings
por: Deng, Robert, et al.
Publicado: (2017)

Advances in information and computer security: 11th international workshop on security, IWSEC 2016, Tokyo, Japan, September 12-14, 2016, proceedings
por: Ogawa, Kazuto, et al.
Publicado: (2016)

Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings
por: Bloem, Roderick, et al.
Publicado: (2016)

Automated technology for verification and analysis: 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, proceedings
por: Artho, Cyrille, et al.
Publicado: (2016)

ISMB 2016 Proceedings
por: Baldi, Pierre, et al.
Publicado: (2016)

Automated reasoning: 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, proceedings
por: Olivetti, Nicola, et al.
Publicado: (2016)

Integer programming and combinatorial optimization: 18th international conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, proceedings
por: Louveaux, Quentin, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_2kkej5g7tcbt0jhogiiordrm32