Cargando…

Software engineering and formal methods: 17th international conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Ölveczky, Peter Csaba, Salaün, Gwen
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755331

Ejemplares similares

Software engineering and formal methods: 12th international conference, SEFM 2014, Grenoble, France, September 1-5, 2014, proceedings
por: Giannakopoulou, Dimitra, 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)

Digital libraries for open knowledge: 23rd international conference on theory and practice of digital libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, proceedings
por: Doucet, Antoine, et al.
Publicado: (2019)

Graph drawing and network visualization: 27th international symposium, GD 2019, Prague, Czech Republic, September 17-20, 2019, proceedings
por: Archambault, Daniel, et al.
Publicado: (2019)

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)

Formal methods for industrial critical systems: 20th international workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 proceedings
por: Güdemann, Matthias, et al.
Publicado: (2015)

Formal aspects of component software: 15th international conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, proceedings
por: Bae, Kyungmin, et al.
Publicado: (2018)

Software engineering for resilient systems: 11th international workshop, SERENE 2019, Naples, Italy, September 17, 2019, proceedings
por: Calinescu, Radu, et al.
Publicado: (2019)

Systems, software and services process improvement: 26th European conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019, proceedings
por: Walker, Alastair, et al.
Publicado: (2019)

FM 2015: 20th international symposium, Oslo, Norway, June 24-26, 2015, proceedings
por: Bjørner, Nikolaj, et al.
Publicado: (2015)

Integrated formal methods: 15th international conference, IFM 2019, Bergen, Norway, December 2-6, 2019, proceedings
por: Ahrendt, Wolfgang, et al.
Publicado: (2019)

Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings
por: Ait-Ameur, Yamine, et al.
Publicado: (2019)

Software architecture: 13th European conference, ECSA 2019, Paris, France, September 9-13, 2019, proceedings
por: Bures, Tomas, et al.
Publicado: (2019)

Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
por: Arbab, Farhad, et al.
Publicado: (2020)

Information retrieval: 25th China conference, CCIR 2019, Fuzhou, China, September 20-22, 2019, proceedings
por: Zhang, Qi, et al.
Publicado: (2019)

Computational neuroscience: second Latin American workshop, LAWCN 2019, São João Del-Rei, Brazil, September 18-20, 2019, proceedings
por: Cota, Vinícius Rosa, et al.
Publicado: (2019)

Mobile information systems: IFIP TC 8 working conference on mobile information systems (MOBIS) 15-17 September 2004, Oslo, Norway
por: Lawrence, Elaine, et al.
Publicado: (2004)

Computer security - ESORICS 2017: 22nd European symposium on research in computer security, Oslo, Norway, September 11-15, 2017, proceedings, part I
por: Foley, Simon N, et al.
Publicado: (2017)

Search-based software engineering: 11th international symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, proceedings
por: Nejati, Shiva, et al.
Publicado: (2019)

Formal modeling and analysis of timed systems: 17th international conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, proceedings
por: André, Étienne, et al.
Publicado: (2019)

Software technology: 51st international conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, proceedings
por: Mazzara, Manuel, et al.
Publicado: (2019)

Web information systems and applications: 16th international conference, WISA 2019, Qingdao, China, September 20-22, 2019, proceedings
por: Ni, Weiwei, et al.
Publicado: (2019)

Service-oriented and cloud computing: 6th IFIP WG 2. 14 European conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, proceedings
por: De Paoli, Flavio, et al.
Publicado: (2017)

Data privacy management, cryptocurrencies and blockchain technology: ESORICS 2017 international workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, proceedings
por: Garcia-Alfaro, Joaquin, et al.
Publicado: (2017)

Pervasive systems, algorithms and networks: 16th international symposium, I-SPAN 2019, Naples, Italy, September 16-20, 2019, proceedings
por: Esposito, Christian, et al.
Publicado: (2019)

Professor Svein Stølen, Rector of the University of Oslo, Norway
por: Brice, Maximilien
Publicado: (2018)

Unspecified opioids among opioid overdoses in Oslo, Norway
por: Iqbal, Zahra Zeineb, et al.
Publicado: (2022)

Formal grammar: 24th international conference, FG 2019, Riga, Latvia, August 11, 2019, proceedings
por: Bernardi, Raffaella, et al.
Publicado: (2019)

Proceedings of the 6th Oslo—Silivri Workshop
por: Decreusefond, Laurent, et al.
Publicado: (1998)

Big data analytics: 7th international conference, BDA 2019, Ahmedabad, India, December 17-20, 2019, proceedings
por: Madria, Sanjay, et al.
Publicado: (2020)

Formal methods teaching: third international workshop and tutorial, FMTea 2019, held as part of the third world congress on formal methods, FM 2019, Porto, Portugal, october 7, 2019, proceedings
por: Dongol, Brijesh, et al.
Publicado: (2019)

Software quality: 11th international conference, SWQD 2019, Vienna, Austria, January 15-18, 2019, proceedings
por: Winkler, Dietmar, et al.
Publicado: (2018)

Seventh Conference of the International Union against Tuberculosis at Oslo, Norway
por: Benjamin, P. V.
Publicado: (1931)

Advances in service-oriented and cloud computing: workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, revised selected papers
por: Mann, Zoltán Ádám, et al.
Publicado: (2018)

Data privacy management, cryptocurrencies and blockchain technology: ESORICS 2019 international workshops, DPM 2019 and CBT 2019, Luxembourg, September 26-27, 2019, proceedings
por: Pérez-Solà, Cristina, et al.
Publicado: (2019)

Computer information systems and industrial management: 18th international conference, CISIM 2019, Belgrade, Serbia, September 19-21, 2019, proceedings
por: Saeed, Khalid, et al.
Publicado: (2019)

Information security: 22nd international conference, ISC 2019, New York City, NY, USA, September 16-18, 2019, proceedings
por: Lin, Zhiqiang, et al.
Publicado: (2019)

Human-computer interaction - INTERACT 2019: 17th IFIP TC 13 international conference, Paphos, Cyprus, September 2-6, 2019, proceedings, part I
por: Lamas, David, et al.
Publicado: (2019)

Human-computer interaction - INTERACT 2019: 17th IFIP TC 13 international conference, Paphos, Cyprus, September 2-6, 2019, proceedings, part IV
por: Lamas, David, et al.
Publicado: (2019)

Artificial neural networks and machine learning - ICANN 2019: 28th international conference on artificial neural networks, Munich, Germany, September 17-19, 2019, proceedings
por: Tetko, Igor V, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_gu8lrshmcdputd6m54mqi6ubpr