Cargando…

Formal methods for industrial critical systems: 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Larsen, Kim Guldstrand, Willemse, Tim
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755259

Ejemplares similares

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)

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)

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

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: 20th international workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 proceedings
por: Güdemann, Matthias, et al.
Publicado: (2015)

International Overdose Awareness Day — August 31, 2019
Publicado: (2019)

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 methods - the next 30 years: third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings
por: ter Beek, Maurice H, et al.
Publicado: (2019)

Computer algebra in scientific computing: 21st international workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, proceedings
por: England, Matthew, et al.
Publicado: (2019)

Euro-Par 2019: 25th international conference on parallel and distributed computing, Göttingen, Germany, August 26-30, 2019, proceedings
por: Yahyapour, Ramin
Publicado: (2019)

Machine learning and intelligent communications: 4th international conference, MLICOM 2019, Nanjing, China, August 24-25, 2019, proceedings
por: Zhai, Xiangping Bryce, et al.
Publicado: (2019)

Advances in information and computer security: 14th international workshop on security, IWSEC 2019, Tokyo, Japan, August 28-30, 2019, proceedings
por: Attrapadung, Nuttapong, et al.
Publicado: (2019)

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)

Chatbot research and design: third international workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19-20, 2019, revised selected papers
por: Følstad, Asbjø, et al.
Publicado: (2020)

Database and expert systems applications: 30th international conference, DEXA 2019, Linz, Austria, August 26-29, 2019, proceedings, part II
por: Hartmann, Sven, et al.
Publicado: (2019)

Knowledge science, engineering and management: 12th international conference, KSEM 2019, Athens, Greece, August 28-30, 2019, proceedings, part II
por: Douligeris, Christos, et al.
Publicado: (2019)

Database and expert systems applications: 30th international conference, DEXA 2019, Linz, Austria, August 26-29, 2019, proceedings, part I
por: Hartmann, Sven, et al.
Publicado: (2019)

Formal methods for components and objects: 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures
por: Bonsangue, Marcello M, et al.
Publicado: (2008)

CERN Bulletin Issue No. 30-31/2019
Publicado: (2019)

CERN Bulletin Issue No. 30-31/2019
Publicado: (2019)

Interactive TV: 5th European conference, EuroITV 2007, Amsterdam, The Netherlands, May 24-25, 2007, proceedings
por: Cesar, Pablo, et al.
Publicado: (2007)

Social robotics: third international conference on social robotics, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011 proceedings
por: Mutlu, Bilge, et al.
Publicado: (2011)

What’s new for ESC Congress 2013? (Amsterdam 30 August – 4 September 2013)
por: Fox, K. A. A.
Publicado: (2013)

Report on Proceedings of the Ninth Annual European CME Forum, Amsterdam, the Netherlands, November 2016
por: Murray, Ron
Publicado: (2017)

Network and parallel computing: 16th IFIP WG 10 3 international conference, NPC 2019, Hohhot, China, August 23-24, 2019, proceedings
por: Tang, Xiaoxin, et al.
Publicado: (2019)

Advances in optoelectronic technology and industry development: proceedings of the 12th international symposium on photonics and optoelectronics (SOPO 2019), August 17-19, 2019, Xi'an, China
por: Jose, Gin, et al.
Publicado: (2019)

PRICAI 2019: 16th Pacific rim international conference on artificial intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, proceedings, part III
por: Nayak, Abhaya C, et al.
Publicado: (2019)

Human interaction and emerging technologies: proceedings of the 1st international conference on human interaction and emerging technologies (IHIET 2019), August 22-24, 2019, Nice, France
por: Ahram, Tareq, et al.
Publicado: (2019)

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)

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)

Speech and computer: 21st international conference, SPECOM 2019, Istanbul, Turkey, August 20-25, 2019, proceedings
por: Salah, Albert Ali, et al.
Publicado: (2019)

Artificial intelligence: second CCF international conference, ICAI 2019, Xuzhou, China, August 22-23, 2019, proceedings
por: Knight, Kevin, 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)

Automated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings
por: Fontaine, Pascal
Publicado: (2019)

Computational science and technology: 6th ICCST 2019, Kota Kinabalu, Malaysia, 29-30 August 2019
por: Alfred, Rayner, et al.
Publicado: (2019)

PRIMA 2019: 22nd international conference, Turin, Italy, October 28-31, 2019, proceedings
por: Baldoni, Matteo, et al.
Publicado: (2019)

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

Formal concept analysis: 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, proceedings
por: Cristea, Diana, et al.
Publicado: (2019)

Fundamentals of computation theory: 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, proceedings
por: Gąsieniec, Leszek Antoni, et al.
Publicado: (2019)

Emerging technologies in computing: second international conference, ICETiC 2019, London, UK, August 19-20, 2019, proceedings
por: Miraz, Mahdi H, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_2amqto7t6ta0ol7m45jmo6jdld