Cargando…

Formal techniques for safety-critical systems: third international workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 revised selected papers

Detalles Bibliográficos
Autores principales:	Artho, Cyrille, Ölveczky, Peter Csaba
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756775

Ejemplares similares

Formal techniques for safety-critical systems: 5th international workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, revised selected papers
por: Artho, Cyrille, et al.
Publicado: (2017)

Structured object-oriented formal language and method: 4th international workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, revised selected papers
por: Liu, Shaoying, et al.
Publicado: (2015)

Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings
por: Merz, Stephan, et al.
Publicado: (2014)

Computer vision - ACCV 2014 workshops: Singapore, Singapore, November 1-2, 2014, revised selected papers, part II
por: Jawahar, C V, et al.
Publicado: (2015)

Computer vision - ACCV 2014 workshops: Singapore, Singapore, November 1-2, 2014, revised selected papers, part I
por: Jawahar, C V, et al.
Publicado: (2015)

Ambient intelligence: European conference, AMI 2014, Eindhoven, The Netherlands, November 11-13, 2014 revised selected papers
por: Aarts, Emile, et al.
Publicado: (2014)

Energy efficient data centers: third international workshop, E2DC 2014, Cambridge, UK, June 10, 2014, revised selected papers
por: Klingert, Sonja, et al.
Publicado: (2015)

New frontiers in mining complex patterns: third international workshop, NFMCP 2014, held in conjunction with ECML-PKDD 2014, Nancy, France, September 19, 2014, revised selected papers
por: Appice, Annalisa, et al.
Publicado: (2015)

Arts and technology: fourth international conference, ARTSIT 2014, Istanbul, Turkey, November 10-12, 2014, revised selected papers
por: Ayiter, Elif, et al.
Publicado: (2015)

Wireless internet: 8th international conference, WICON 2014, Lisbon, Portugal, November 13-14, 2014, revised selected papers
por: Mumtaz, Shahid, et al.
Publicado: (2015)

Web information systems engineering - WISE 2014 workshops: 15th international workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, revised selected papers
por: Benatallah, Boualem, et al.
Publicado: (2015)

Computer security: ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019, revised selected papers
por: Fournaris, Apostolos P, et al.
Publicado: (2020)

Human centered computing: first international conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, revised selected papers
por: Zu, Qiaohong, et al.
Publicado: (2015)

Clinical image-based procedures translational research in medical imaging: third international workshop, CLIP 2014, held in conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014, revised selected papers
por: Linguraru, Marius George, et al.
Publicado: (2014)

Financial cryptography and data security: FC 2014 workshops, Bitcoin and WAHC 2014, Christ Church, Barbados, March 7, 2014, revised selected papers
por: Böhme, Rainer, et al.
Publicado: (2014)

Computer games: third workshop on computer games, CGW 2014, held in conjunction with the 21st European conference on artificial intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, revised selected papers
por: Cazenave, Tristan, et al.
Publicado: (2015)

Foundations and practice of security: 7th international symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014 revised selected papers
por: Cuppens, édéric, et al.
Publicado: (2015)

Semantic technology: 4th joint international conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014 revised selected papers
por: Supnithi, Thepchai, et al.
Publicado: (2015)

Games and learning alliance: third international conference, GALA 2014, Bucharest, Romania, July 2-4, 2014, revised selected papers
por: De Gloria, Alessandro
Publicado: (2015)

Multimodal pattern recognition of social signals in human-computer-interaction: third IAPR TC3 workshop, MPRSS 2014, Stockholm, Sweden, August 24, 2014, revised selected papers
por: Schwenker, Friedhelm, et al.
Publicado: (2015)

Computer security: ESORICS 2019 international workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26-27, 2019 revised selected papers
por: Katsikas, Sokratis, et al.
Publicado: (2020)

Advances in service-oriented and cloud computing: workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, revised selected papers
por: Ortiz, Guadalupe, et al.
Publicado: (2015)

Data-driven process discovery and analysis: 4th international symposium, SIMPDA 2014, Milan, Italy, November 19-21, 2014, revised selected papers
por: Russo, Barbara, et al.
Publicado: (2015)

Operations research and enterprise systems: third international conference, ICORES 2014, Angers, France, March 6-8, 2014, revised selected papers
por: Pinson, Eric, et al.
Publicado: (2015)

Recent trends in algebraic development techniques: 22nd international workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, revised selected papers
por: Codescu, Mihai, et al.
Publicado: (2015)

ICTs for improving patients rehabilitation research techniques: second international workshop, REHAB 2014, Oldenburg, Germany, May 20-23, 2014, revised selected papers
por: Fardoun, Habib M, et al.
Publicado: (2015)

Semantic web collaborative spaces: second international workshop, SWCS 2013, Montpellier, France, May 27, 2013, third international workshop, SWCS 2014, Trentino, Italy, October 19, 2014, revised selected and invited papers
por: Molli, Pascal, et al.
Publicado: (2016)

Big data benchmarking: 5th international workshop, WBDB 2014, Potsdam, Germany, August 5-6- 2014, revised selected papers
por: Rabl, Tilmann, et al.
Publicado: (2015)

Multi-agent-based simulation XV: international workshop, MABS 2014, Paris, France, May 5-6, 2014, revised selected papers
por: Grimaldo, Francisco, et al.
Publicado: (2015)

Fast software encryption: 21st international workshop, FSE 2014, London, UK, March 3-5, 2014 revised selected papers
por: Cid, Carlos, et al.
Publicado: (2015)

Automated deduction in geometry: 10th international workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, revised selected papers
por: Botana, Francisco, et al.
Publicado: (2015)

Digital-forensics and watermarking: 13th international workshop, IWDW 2014, Taipei, Taiwan, October 1-4, 2014 revised selected papers
por: Pérez-González, Fernando, et al.
Publicado: (2015)

Modelling and simulation for autonomous systems: first international workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, revised selected papers
por: Hodicky, Jan
Publicado: (2014)

Computer vision - ACCV 2014: 12th Asian conference on computer vision, Singapore, Singapore, November 1-5, 2014, revised selected papers, part II
por: Cremers, Daniel, et al.
Publicado: (2015)

Computer vision - ACCV 2014: 12th Asian conference on computer vision, Singapore, Singapore, November 1-5, 2014, revised selected papers, part III
por: Cremers, Daniel, et al.
Publicado: (2015)

Computer vision - ACCV 2014: 12th Asian conference on computer vision, Singapore, Singapore, November 1-5, 2014, revised selected papers, part V
por: Cremers, Daniel, et al.
Publicado: (2015)

Computer vision - ACCV 2014: 12th Asian conference on computer vision, Singapore, Singapore, November 1-5, 2014, revised selected papers, part IV
por: Cremers, Daniel, et al.
Publicado: (2015)

Computer vision - ACCV 2014: 12th Asian conference on computer vision, Singapore, Singapore, November 1-5, 2014, revised selected papers, part I
por: Cremers, Daniel, et al.
Publicado: (2015)

Analysis of images, social networks and texts: third international conference, AIST 2014, Yekaterinburg, Russia, April 10-12, 2014, revised selected papers
por: Ignatov, Dmitry I, et al.
Publicado: (2014)

Behavior modeling - foundations and applications: international workshops, BM-FA 2009-2014, revised selected papers
por: Roubtsova, Ella, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_fqao2fhf4dk4bulqos1jb8i0lf