Cargando…

Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Biondi, Fabrizio, Given-Wilson, Thomas, Legay, Axel
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755322

Ejemplares similares

Business modeling and software design: 9th international symposium, BMSD 2019, Lisbon, Portugal, July 1-3, 2019, proceedings
por: Shishkov, Boris
Publicado: (2019)

Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings
por: Fischer, Bernd, et al.
Publicado: (2015)

Advances in neural networks - ISNN 2019: 16th international symposium on neural networks, ISNN 2019, Moscow, Russia, July 10-12, 2019, proceedings, part I
por: Lu, Huchuan, et al.
Publicado: (2019)

Advances in neural networks - ISNN 2019: 16th international symposium on neural networks, ISNN 2019, Moscow, Russia, July 10-12, 2019, proceedings, part II
por: Lu, Huchuan, et al.
Publicado: (2019)

End-user development: 7th international symposium, IS-EUD 2019, Hatfield, UK, July 10-12, 2019, proceedings
por: Malizia, Alessio, et al.
Publicado: (2019)

Medical image understanding and analysis: 23rd conference, MIUA 2019, Liverpool, UK, July 24-26, 2019, proceedings
por: Zheng, Yalin, et al.
Publicado: (2020)

Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
por: Gallardo, María del Mar, et al.
Publicado: (2018)

Static analysis: 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2019)

HCI international 2019 - posters: 21st international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part III
por: Stephanidis, Constantine
Publicado: (2019)

HCI international 2019 - posters: 21st international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part I
por: Stephanidis, Constantine
Publicado: (2019)

HCI international 2019 - posters: 21st international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings, part II
por: Stephanidis, Constantine
Publicado: (2019)

Graph transformation: 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, proceedings
por: Guerra, Esther, et al.
Publicado: (2019)

HCI international 2019 - late breaking posters: 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Stephanidis, Constantine, et al.
Publicado: (2019)

HCI international 2019 - late breaking papers: 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Stephanidis, Constantine
Publicado: (2019)

Statistics and data science: research school on statistics and data science, RSSDS 2019, Melbourne, VIC, Australia, July 24-26, 2019, proceedings
por: Nguyen, Hien
Publicado: (2020)

Data mining and big data: 4th international conference, DMBD 2019, Chiang Mai, Thailand, July 26-30, 2019, proceedings
por: Tan, Ying, et al.
Publicado: (2019)

Structural information and communication complexity: 26th international colloquium, SIROCCO 2019, L'Aquila, Italy, July 1-4, 2019, proceedings
por: Censor-Hillel, Keren, et al.
Publicado: (2019)

Logic, language, information, and computation: 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, proceedings
por: Iemhoff, Rosalie, et al.
Publicado: (2019)

Pervasive systems, algorithms and networks: 16th international symposium, I-SPAN 2019, Naples, Italy, September 16-20, 2019, proceedings
por: Esposito, Christian, et al.
Publicado: (2019)

Advances in swarm intelligence: 10th international conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, proceedings, part I
por: Tan, Ying, et al.
Publicado: (2019)

Advances in swarm intelligence: 10th international conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, proceedings, part II
por: Tan, Ying, et al.
Publicado: (2019)

String processing and information retrieval: 26th international symposium, SPIRE 2019, Segovia, Spain, October 7-9, 2019, proceedings
por: Brisaboa, Nieves R, et al.
Publicado: (2019)

Numerical software verification: 12th international workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, proceedings
por: Zamani, Majid, et al.
Publicado: (2019)

Computer science - theory and applications: 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, proceedings
por: van Bevern, René, et al.
Publicado: (2019)

Mathematical morphology and its applications to signal and image processing: 14th international symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, proceedings
por: Burgeth, Bernhard, et al.
Publicado: (2019)

Proceedings from the 26th Annual Symposium of the International Cannabinoid Research Society: June 26–July 1, 2016
por: Maccarrone, Mauro
Publicado: (2017)

Artificial intelligence and security: 5th international conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings, part IV
por: Sun, Xingming, et al.
Publicado: (2019)

Artificial intelligence and security: 5th international conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings, part II
por: Sun, Xingming, et al.
Publicado: (2019)

Artificial intelligence and security: 5th international conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings, part I
por: Sun, Xingming, et al.
Publicado: (2019)

Artificial intelligence and security: 5th international conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, proceedings, part III
por: Sun, Xingming, et al.
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)

Algorithms and data structures: 16th international symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019, proceedings
por: Friggstad, Zachary, et al.
Publicado: (2019)

Advanced parallel processing technologies: 13th international symposium, APPT 2019, Tianjin, China, August 15-16, 2019, proceedings
por: Yew, Pen-Chung, et al.
Publicado: (2019)

Model-based safety and assessment: 6th international symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, proceedings
por: Papadopoulos, Yiannis, 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)

HCI in games: first international conference, HCI-games 2019, held as part of the 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Fang, Xiaowen
Publicado: (2019)

Systems, software and services process improvement: 26th European conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019, proceedings
por: Walker, Alastair, et al.
Publicado: (2019)

Computing and combinatorics: 25th international conference, COCOON 2019, Xi'an, China, July 29-31, 2019, proceedings
por: Du, Ding-Zhu, 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)

HCI for cybersecurity, privacy and trust: first international conference, HCI-CPT 2019, held as part of the 21st HCI international conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, proceedings
por: Moallem, Abbas
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_chi621n3stvprdec6jalnhlmck