Cargando…

Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Arbab, Farhad, Jongmans, Sung-Shik
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2020
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2760722

Ejemplares similares

Formal aspects of component software: 14th international conference, FACS 2017, Braga, Portugal, October 10-13, 2017, proceedings
por: Proença, José, et al.
Publicado: (2017)

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)

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 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 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 - 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)

Human behavior understanding: 7th international workshop, HBU 2016, Amsterdam, The Netherlands, October 16, 2016, proceedings
por: Chetouani, Mohamed, et al.
Publicado: (2016)

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 technology: 51st international conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, proceedings
por: Mazzara, Manuel, et al.
Publicado: (2019)

Dementia Lab 2019 making design work: 4th conference, d-Lab 2019, Eindhoven, The Netherlands, October 21-22, 2019, proceedings
por: Brankaert, Rens, 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)

Computer vision - ECCV 2016 workshops: Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, proceedings, part II
por: Hua, Gang, 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)

Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings
por: Beyer, Dirk, et al.
Publicado: (2019)

Computer vision - ECCV 2016: 14th European conference, Amsterdam, The Netherlands, October 11-14, 2016, proceedings, part I
por: Leibe, Bastian, et al.
Publicado: (2016)

Computer vision - ECCV 2016: 14th European conference, Amsterdam, The Netherlands, October 11-14, 2016, proceedings, part V
por: Leibe, Bastian, et al.
Publicado: (2016)

Computer vision - ECCV 2016: 14th European conference, Amsterdam, The Netherlands, October 11-14, 2016, proceedings, part VI
por: Leibe, Bastian, et al.
Publicado: (2016)

Virtual reality and augmented reality: 16th EuroVR international conference, EuroVR 2019, Tallinn, Estonia, October 23-25, 2019, proceedings
por: Bourdot, Patrick, et al.
Publicado: (2019)

Theoretical aspects of computing - ICTAC 2019: 16th international colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, proceedings
por: Hierons, Robert Mark, et al.
Publicado: (2019)

Artificial intelligence: 17th Russian conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, proceedings
por: Kuznetsov, Sergei O, et al.
Publicado: (2019)

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)

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

Thomas S. Monahan, III, MD, FACS (1975-2019)
por: Scali, Salvatore T., et al.
Publicado: (2019)

Security and privacy in communication networks: 15th EAI international conference, SecureComm 2019, Orlando, FL, USA, October 23-25, 2019, proceedings, part I
por: Chen, Songqing, et al.
Publicado: (2019)

Security and privacy in communication networks: 15th EAI international conference, SecureComm 2019, Orlando, FL, USA, October 23-25, 2019, proceedings, part II
por: Chen, Songqing, et al.
Publicado: (2019)

Cryptology and network security: 18th international conference, CANS 2019, Fuzhou, China, October 25-27, 2019, proceedings
por: Mu, Yi, et al.
Publicado: (2019)

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

Testing software and systems: 31st IFIP WG 6. 1 international conference, ICTSS 2019, Paris, France, October 15-17, 2019, proceedings
por: Gaston, Christophe, et al.
Publicado: (2019)

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

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

Stabilization, safety, and security of distributed systems: 21st international symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, proceedings
por: Ghaffari, Mohsen, et al.
Publicado: (2019)

Combinatorial algorithms: 30th international workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019, proceedings
por: Colbourn, Charles J, et al.
Publicado: (2019)

International Exhibition at Amsterdam: May—October 1883
Publicado: (1883)

In the literature: October 2019
por: Tarazona, Noelia, et al.
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)

Predictive intelligence in medicine: second international workshop, PRIME 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, proceedings
por: Rekik, Islem, et al.
Publicado: (2019)

Smart blockchain: second international conference, SmartBlock 2019, Birmingham, UK, October 11-13, 2019, proceedings
por: Qiu, Meikang
Publicado: (2019)

Runtime verification: 19th international conference, RV 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Finkbeiner, Bernd, et al.
Publicado: (2019)

Biometric recognition: 14th Chinese conference, CCBR 2019, Zhuzhou, China, October 12-13, 2019, proceedings
por: Sun, Zhenan, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_993ooo4d5orb1pfec0ocflovs6