Cargando…

Formal methods for industrial critical systems: 20th international workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 proceedings

Detalles Bibliográficos
Autores principales:	Güdemann, Matthias, Núñez, Manuel
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761524

Ejemplares similares

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

Formal methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings
por: Howar, Falk, et al.
Publicado: (2018)

Formal methods for industrial critical systems: 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, proceedings
por: Larsen, Kim Guldstrand, et al.
Publicado: (2019)

Formal ontologies meet industry: 7th international workshop, FOMI 2015, Berlin, Germany, August 5, 2015, proceedings
por: Cuel, Roberta, et al.
Publicado: (2015)

Critical systems: joint 22nd international workshop on formal methods for industrial critical systems and 17th international workshop on automated verification of critical systems, FMICS-AVOCS 2017, Turin, Italy, September 18-20, 2017, proceedings
por: Petrucci, Laure, et al.
Publicado: (2017)

Stochastics of environmental and financial economics: Centre of Advanced Study, Oslo, Norway, 2014-2015
por: Benth, Fred, et al.
Publicado: (2016)

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

Computer networks: 22nd international conference, CN 2015, Brunów, Poland, June 16-19, 2015 proceedings
por: Gaj, Piotr, et al.
Publicado: (2015)

Formal methods: 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, proceedings
por: Cornélio, Márcio, et al.
Publicado: (2016)

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)

Multiple classifier systems: 12th international workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, proceedings
por: Schwenker, Friedhelm, et al.
Publicado: (2015)

Hybrid artificial intelligent systems: 10th international conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, proceedings
por: Onieva, Enrique, et al.
Publicado: (2015)

47th Nordic Lung Congress - Oslo 2015
Publicado: (2015)

Engineering the web in the big data era: 15th international conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, proceedings
por: Cimiano, Philipp, et al.
Publicado: (2015)

Foundations of intelligent systems: 22nd international symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, proceedings
por: Esposito, Floriana, et al.
Publicado: (2015)

Security and trust management: 11th international workshop, STM 2015, Vienna, Austria, September 21-22, 2015, proceedings
por: Foresti, Sara
Publicado: (2015)

Highlights of practical applications of agents, multi-agent systems, and sustainability: international workshops of PAAMS 2015, Salamanca, Spain, June 3-4, 2015 proceedings
por: Bajo, Javier, et al.
Publicado: (2015)

CERN Bulletin Issue No. 22-23/2015
Publicado: (2015)

Computational science and its applications - ICCSA 2015: 15th international conference, Banff, AB, Canada, June 22-25, 2015, proceedings, part III
por: Gervasi, Osvaldo, et al.
Publicado: (2015)

Computational science and its applications - ICCSA 2015: 15th international conference, Banff, AB, Canada, June 22-25, 2015, proceedings, part II
por: Gervasi, Osvaldo, et al.
Publicado: (2015)

Computational science and its applications - ICCSA 2015: 15th international conference, Banff, AB, Canada, June 22-25, 2015, proceedings, part V
por: Gervasi, Osvaldo, et al.
Publicado: (2015)

Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings
por: Butler, Michael, et al.
Publicado: (2015)

Entertainment computing - ICEC 2015: 14th international conference, ICEC 2015, Trondheim, Norway, September 29 - October 2, 2015, proceedings
por: Chorianopoulos, Konstantinos, et al.
Publicado: (2015)

Business information systems workshops: BIS 2015 international workshops, Poznań, Poland, June 24-26, 2015, revised papers
por: Abramowicz, Witold
Publicado: (2015)

40-June 2015
Publicado: (2015)

In this issue (June 2015)
Publicado: (2015)

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

Radio frequency identification: 11th international workshop, RFIDsec 2015, New York, NY, USA, June 23-24, 2015, revised selected papers
por: Mangard, Stefan, et al.
Publicado: (2015)

Information security: 18th international conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, proceedings
por: Lopez, Javier, et al.
Publicado: (2015)

ICARUS report to the CXVIII Meeting of SPSC, June 23-24, 2015
por: Gibin, D Dipartimento di Fisica e Atronomia Università di Padova Italy, et al.
Publicado: (2015)

Image analysis: 19th Scandinavian conference, SCIA 2015, Copenhagen, Denmark, June 15-17, 2015 proceedings
por: Paulsen, Rasmus R, et al.
Publicado: (2015)

Proceedings of the 7th Biannual International Symposium on Nasopharyngeal Carcinoma 2015: Yogyakarta, Indonesia. 4-6 June 2015
por: Tan, IB, et al.
Publicado: (2016)

Database systems for advanced applications: 20th international conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, proceedings, part II
por: Renz, Matthias, et al.
Publicado: (2015)

Database systems for advanced applications: 20th international conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, proceedings, part I
por: Renz, Matthias, et al.
Publicado: (2015)

Proceedings of the WFNS Neuro-Oncology Committee Workshop Rome 2015
por: Au, Karolyn, et al.
Publicado: (2016)

Cellular automata and discrete complex systems: 21st IFIP WG 1. 5 international workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015 proceedings
por: Kari, Jarkko
Publicado: (2015)

Security of industrial control systems and cyber physical systems: first workshop, CyberICS 2015 and first workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 revised selected papers
por: Bécue, Adrien, et al.
Publicado: (2016)

Reliable software technologies - ADA-Europe 2015: 20th ADA-Europe international conference on reliable software technologies, Madrid Spain, June 22-26, 2015, proceedings
por: de la Puente, Juan Antonio, et al.
Publicado: (2015)

Computational collective intelligence: 7th international conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, proceedings, part I
por: Núñez, Manuel, et al.
Publicado: (2015)

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

Cannot write session to /tmp/vufind_sessions/sess_31sni2gg4p78srmet9rafkcge0