Cargando…

Formal aspects of component software: 15th international conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Bae, Kyungmin, Ölveczky, Peter Csaba
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757261

Ejemplares similares

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 aspects of component software: 14th international conference, FACS 2017, Braga, Portugal, October 10-13, 2017, proceedings
por: Proença, José, et al.
Publicado: (2017)

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)

Theoretical aspects of computing - ICTAC 2018: 15th international colloquium, Stellenbosch, South Africa, October 16-19, 2018, proceedings
por: Fischer, Bernd, et al.
Publicado: (2018)

Modeling decisions for artificial intelligence: 15th international conference, MDAI 2018, Mallorca, Spain, October 15-18, 2018, proceedings
por: Torra, Vicenç, et al.
Publicado: (2018)

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)

Computer performance engineering: 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings
por: Bakhshi, Rena, et al.
Publicado: (2018)

Digital forensics and watermarking: 17th international workshop, IWDW 2018, Jeju Island, Korea, October 22-24, 2018, proceedings
por: Yoo, Chang D, et al.
Publicado: (2019)

Software process improvement and capability determination: 18th international conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018, proceedings
por: Stamelos, Ioannis, et al.
Publicado: (2018)

Wireless internet: 11th EAI international conference, WiCON 2018, Taipei, Taiwan, October 15-16, 2018, proceedings
por: Chen, Jiann-Liang, et al.
Publicado: (2019)

Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 15-17, 2018, proceedings
por: Havelund, Klaus, et al.
Publicado: (2018)

Information systems: 15th European, Mediterranean, and Middle Eastern conference, EMCIS 2018, Limassol, Cyprus, October 4-5, 2018, proceedings
por: Themistocleous, Marinos, et al.
Publicado: (2019)

Testing software and systems: 30th IFIP WG 6. 1 international conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, proceedings
por: Medina-Bulo, Inmaculada, et al.
Publicado: (2018)

PRIMA 2018: 21st international conference, Tokyo, Japan, October 29-November 2, 2018, proceedings
por: Miller, Tim, et al.
Publicado: (2018)

In the literature: October 2018
por: Roda, Desamparados, et al.
Publicado: (2018)

Virtual reality and augmented reality: 15th EuroVR international conference, EuroVR 2018, London, UK, October 22-23, 2018, proceedings
por: Bourdot, Patrick, et al.
Publicado: (2018)

National Latinx AIDS Awareness Day — October 15, 2018
Publicado: (2018)

Swarm intelligence: 11th international conference, ANTS 2018, Rome, Italy, October 29-31, 2018, proceedings
por: Dorigo, Marco, et al.
Publicado: (2018)

Computer and communication engineering: first international conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, proceedings
por: Botto-Tobar, Miguel, et al.
Publicado: (2019)

Machine translation: 14th China workshop, CWMT 2018, Wuyishan, China, October 25-26, 2018, proceedings
por: Chen, Jiajun, et al.
Publicado: (2019)

Conceptual modeling: 37th international conference, ER 2018, Xi'an, China, October 22-25, 2018, proceedings
por: Trujillo, Juan C, et al.
Publicado: (2018)

Integrated formal methods: 14th international conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, proceedings
por: Furia, Carlo A, et al.
Publicado: (2018)

System analysis and modeling languages, methods, and tools for systems engineering: 10th international conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, proceedings
por: Khendek, Ferhat, et al.
Publicado: (2018)

Disaster preparedness for earthquakes in hemodialysis units in Gyeongju and Pohang, South Korea
por: Yoo, Kyung Don, et al.
Publicado: (2019)

Model and data engineering: 8th international conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, proceedings
por: Abdelwahed, El Hassan, et al.
Publicado: (2018)

Foundations of intelligent systems: 24th international symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, proceedings
por: Ceci, Michelangelo, et al.
Publicado: (2018)

Theoretical computer science: 36th national conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, proceedings
por: Li, Lian, et al.
Publicado: (2018)

Scalable uncertainty management: 12th international conference, SUM 2018, Milan, Italy, October 3-5, 2018, proceedings
por: Ciucci, Davide, et al.
Publicado: (2018)

Information and communications security: 20th international conference, ICICS 2018, Lille, France, October 29-31, 2018, proceedings
por: Naccache, David, et al.
Publicado: (2018)

Similarity search and applications: 11th international conference, SISAP 2018, Lima, Peru, October 7-9, 2018, proceedings
por: Marchand-Maillet, Stéphane, et al.
Publicado: (2018)

Internet science: 5th international conference, INSCI 2018, St. Petersburg, Russia, October 24-26, 2018, proceedings
por: Bodrunova, Svetlana S
Publicado: (2018)

Software architecture: 12th European conference on software architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, proceedings
por: Cuesta, Carlos E, et al.
Publicado: (2018)

Sepsis 2018: Bangkok, Thailand. 1-3 October 2018
Publicado: (2018)

Communications and networking: 13th EAI international conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, proceedings
por: Liu, Xingang, et al.
Publicado: (2019)

Internet and distributed computing systems: 11th international conference, IDCS 2018, Tokyo, Japan, October 11-13, 2018, proceedings
por: Xiang, Yang, et al.
Publicado: (2018)

Advanced hybrid information processing: second EAI international conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, proceedings
por: Liu, Shuai, et al.
Publicado: (2019)

Health information science: 7th international conference, HIS 2018, Cairns, QLD, Australia, October 5-7, 2018, proceedings
por: Siuly, Siuly, et al.
Publicado: (2018)

Cryptology and network security: 17th international conference, CANS 2018, Naples, Italy, September 30 - October 3, 2018, proceedings
por: Camenisch, Jan, et al.
Publicado: (2018)

String processing and information retrieval: 25th international symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, proceedings
por: Gagie, Travis, et al.
Publicado: (2018)

Proceedings of the 2018 course on beam instrumentation for particle accelerators, Tuusula, Finland, 2–15 June 2018
por: Schmickler, Hermann, et al.
Publicado: (2020)

Cannot write session to /tmp/vufind_sessions/sess_763kc4ervrnhl39ki061pham8s