Cargando…

Software engineering and formal methods: 12th international conference, SEFM 2014, Grenoble, France, September 1-5, 2014, proceedings

Detalles Bibliográficos
Autores principales:	Giannakopoulou, Dimitra, Salaün, Gwen
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2014
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2757952

Ejemplares similares

Software engineering and formal methods: 17th international conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings
por: Ölveczky, Peter Csaba, et al.
Publicado: (2019)

Artificial intelligence: 16th international conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, proceedings
por: Agre, Gennady, et al.
Publicado: (2014)

Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
por: Calinescu, Radu, et al.
Publicado: (2015)

Information technology in bio- and medical informatics: 5th international conference, ITBAM 2014, Munich, Germany, September 2, 2014 proceedings
por: Bursa, Miroslav, et al.
Publicado: (2015)

Inductive logic programming: 24th international conference, ILP 2014, Nancy, France, September 14-16, 2014, revised selected papers
por: Davis, Jesse, et al.
Publicado: (2015)

Product-focused software process improvement: 15th international conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, proceedings
por: Jedlitschka, Andreas, et al.
Publicado: (2014)

DNA computing and molecular programming: 20th international conference, DNA 20, Kyoto, Japan, September 22-26, 2014 proceedings
por: Murata, Satoshi, et al.
Publicado: (2014)

Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings
por: Johnsen, Einar Broch, et al.
Publicado: (2018)

Software engineering for resilient systems: 6th international workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014 proceedings
por: Majzik, István, et al.
Publicado: (2014)

Search-based software engineering: 6th international symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, proceedings
por: Le Goues, Claire, et al.
Publicado: (2014)

Tests and proofs: 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24-25, 2014, proceedings
por: Seidl, Martina, et al.
Publicado: (2014)

Secure IT systems: 19th nordic conference, NordSec 2014, Tromsø, Norway, October 15-17, 2014, proceedings
por: Bernsmed, Karin, et al.
Publicado: (2014)

Statistical language and speech processing: second international conference, SLSP 2014, Grenoble, France, October 14-16, 2014, proceedings
por: Besacier, Laurent, et al.
Publicado: (2014)

Theory and practice of model transformations: 7th international conference, ICMT 2014, held as part of STAF 2014, York, UK, July 21-22, 2014, proceedings
por: Di Ruscio, Davide, et al.
Publicado: (2014)

Technologies and applications of artificial intelligence: 19th international conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, proceedings
por: Cheng, Shin-Ming, et al.
Publicado: (2014)

Intelligent virtual agents: 14th international conference, IVA 2014, Boston, MA, USA, August 27-29, 2014, proceedings
por: Bickmore, Timothy, et al.
Publicado: (2014)

Advances in swarm intelligence: 5th international conference, ICSI 2014, Hefei, China, October 17-20, 2014, proceedings, part II
por: Tan, Ying, et al.
Publicado: (2014)

Nordic contributions in IS research: 5th Scandinavian conference on information systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014, proceedings
por: Commisso, Trine Hald, et al.
Publicado: (2014)

Economics of grids, clouds, systems, and services: 11th international conference, GECON 2014, Cardiff, UK, September 16-18, 2014 revised selected papers
por: Altmann, Jö, et al.
Publicado: (2015)

Safe and secure cities: 5th international conference on well-being in the information society, WIS 2014, Turku, Finland, August 18-20, 2014 proceedings
por: Saranto, Kaija, et al.
Publicado: (2014)

Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers
por: Giannakopoulou, Dimitra, et al.
Publicado: (2014)

Computer and computing technologies in agriculture viii: 8th IFIP WG 5. 14 international conference, CCTA 2014, Beijing, China, September 16-19, 2014, revised selected papers
por: Li, Daoliang, et al.
Publicado: (2015)

Simulated evolution and learning: 10th international conference, SEAL 2014, Dunedin, New Zealand, December 15-18, proceedings
por: Dick, Grant, et al.
Publicado: (2014)

Data privacy management, autonomous spontaneous security, and security assurance: 9th international workshop, DPM 2014, 7th international workshop, SETOP 2014, and 3rd international workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014 revised selected papers
por: Garcia-Alfaro, Joaquin, et al.
Publicado: (2015)

Formal modeling and analysis of timed systems: 12th international conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, proceedings
por: Legay, Axel, et al.
Publicado: (2014)

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)

Advances in visual computing: 10th international symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, proceedings, part II
por: Bebis, George, et al.
Publicado: (2014)

European AFS and Kerberos Conference 2014
Publicado: (2014)

Verification and evaluation of computer and communication systems: 12th international conference, VECOS 2018, Grenoble, France, September 26-28, 2018, proceedings
por: Atig, Mohamed Faouzi, et al.
Publicado: (2018)

From programs to systems - the systems perspective in computing: ETAPS workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings
por: Bensalem, Saddek, et al.
Publicado: (2014)

Computational logistics: 6th international conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, proceedings
por: Corman, Francesco, et al.
Publicado: (2015)

2014 World Conference on Information Systems and Technologies
por: Rocha, Álvaro, et al.
Publicado: (2014)

Knowledge management and acquisition for smart systems and services: 13th Pacific rim knowledge acquisition workshop, PKAW 2014, Gold Cost, QLD, Australia, December 1-2, 2014, proceedings
por: Kim, Yang Sok, et al.
Publicado: (2014)

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)

Collaboration and technology: 24th international conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, proceedings
por: Rodrigues, Armanda, et al.
Publicado: (2018)

Machines, computations, and universality: 8th international conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, proceedings
por: Durand-Lose, Jérôme, et al.
Publicado: (2018)

Agent technology for intelligent mobile services and smart societies: workshop on collaborative agents, research and development, CARE 2014, and workshop on agents, virtual societies and analytics, AVSA 2014, held as part of AAMAS 2014, Paris, France, May 5-9, 2014 revised selected papers
por: Koch, Fernando, et al.
Publicado: (2015)

Computational collective intelligence: 10th international conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, proceedings, part I
por: Nguyen, Ngoc Thanh, et al.
Publicado: (2018)

Discrete geometry for computer imagery: 20th IAPR international conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017, proceedings
por: Kropatsch, Walter G, et al.
Publicado: (2017)

KI 2014: 37th annual German conference on AI, Stuttgart, Germany, September 22-26, 2014, proceedings
por: Lutz, Carsten, et al.
Publicado: (2014)

Cannot write session to /tmp/vufind_sessions/sess_hiob1og2tt2f0m205pamdj0ba1