Cargando…

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

Detalles Bibliográficos
Autores principales:	Petrucci, Laure, Seceleanu, Cristina, Cavalcanti, Ana
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2754471

Ejemplares similares

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 methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings
por: Howar, Falk, et al.
Publicado: (2018)

Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings
por: Polikarpova, Nadia, et al.
Publicado: (2017)

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)

International Workshop on Critical Phenomena and Diffusion in Complex Systems
Publicado: (2008)

International Workshop on Critical Stability of Few-Body Quantum Systems
Publicado: (2005)

Software engineering for resilient systems: 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, proceedings
por: Romanovsky, Alexander, et al.
Publicado: (2017)

International Workshop on Critical Stability : Dynamics and Structure of Critically Stable Quantum Few-Body Systems
por: Collective
Publicado: (2002)

ECT* International Workshop on Critical Stability of Few-Body Quantum Systems
Publicado: (2003)

Graphs in biomedical image analysis, computational anatomy and imaging genetics: first international workshop, GRAIL 2017, 6th international workshop, MFCA 2017, and third international workshop, MICGEN 2017, held in conjunction with MICCAI 2017, Québec City, QC, Canada, September 10-14, 2017, proceedings
por: Cardoso, M Jorge, et al.
Publicado: (2017)

International Workshop on Critical Point and Onset of Deconfinement
por: Collective
Publicado: (2006)

Computer security: ESORICS 2017 international workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, revised selected papers
por: Katsikas, Sokratis K, et al.
Publicado: (2017)

2017 International Workshop on Future Linear Colliders
Publicado: (2017)

Formal techniques for safety-critical systems: third international workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 revised selected papers
por: Artho, Cyrille, et al.
Publicado: (2015)

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)

7th International Workshop on critical currents in superconductors
por: Weber, Harald W
Publicado: (1994)

Dynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedings
por: Madeira, Alexandre, et al.
Publicado: (2018)

Abstracts of the 2017 International Workshop on Musculoskeletal and Neuronal Interactions
por: Rauch, Frank
Publicado: (2017)

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)

European Cryogenics Days 2017 and the 2nd International Workshop on Cooling Systems for HTS Applications
Publicado: (2017)

Approximation and online algorithms: 15th international workshop, WAOA 2017, Vienna, Austria, September 7-8, 2017, revised selected papers
por: Solis-Oba, Roberto, et al.
Publicado: (2018)

11th International Workshop on Critical Point and Onset of Deconfinement
por: Collective
Publicado: (2018)

9th International Workshop on Critical Point and Onset of Deconfinement
por: Collective
Publicado: (2015)

Proceedings of the 8th International Workshop on Critical Currents in Superconductors
por: Matsushita, Teruo, et al.
Publicado: (1996)

6th International Workshop on Critical Point and Onset of Deconfinement
por: Collective
Publicado: (2012)

7th International Workshop on Critical Point and Onset of Deconfinement
Publicado: (2011)

8th International Workshop on Critical Point and Onset of Deconfinement
por: Collective
Publicado: (2013)

4th International Workshop on Critical Point and Onset of Deconfinement
por: Collective
Publicado: (2007)

5th International Workshop on Critical Point and Onset of Deconfinement
por: Chaloupka, M
Publicado: (2009)

10th International Workshop on Critical Point and Onset of Deconfinement
Publicado: (2016)

Agents and multi-agent systems for health care: 10th international workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and international workshop, a-HEALTH 2017, Porto, Portugal, June 21, 2017, revised and extended selected papers
por: Montagna, Sara, et al.
Publicado: (2017)

Machine learning in medical imaging: 8th international workshop, MLMI 2017, held in conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, proceedings
por: Wang, Qian, et al.
Publicado: (2017)

Advances in information and computer security: 12th international workshop on security, IWSEC 2017, Hiroshima, Japan, August 30 - September 1, 2017, proceedings
por: Obana, Satoshi, et al.
Publicado: (2017)

Runtime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings
por: Lahiri, Shuvendu, et al.
Publicado: (2017)

Theory and applications of formal argumentation: 4th international workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, revised selected papers
por: Black, Elizabeth, et al.
Publicado: (2018)

Deep learning in medical image analysis and multimodal learning for clinical decision support: third international workshop, DLMIA 2017, and 7th international workshop, ML-CDS 2017, held in conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, proceedings
por: Cardoso, M Jorge, et al.
Publicado: (2017)

Structured object-oriented formal language and method: 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, revised selected papers
por: Tian, Cong, et al.
Publicado: (2018)

Critical information infrastructure security: 5th international workshop, CRITIS 2010, Athens, Greece, September 2010, revised papers
por: Xenakis, Christos, et al.
Publicado: (2011)

CLIC Workshop 2017
Publicado: (2017)

On the move to meaningful internet systems OTM 2017 workshops: confederated international workshops, EI2N, FBM, ICSP, META4ES, OTMA 2017 and ODBASE posters 2017, Rhodes, Greece, October 23-28, 2017, revised selected papers
por: Debruyne, Christophe, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_b2rkn7429o64ckl798j6nhubrl