Cargando…

Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Lahiri, Shuvendu K, Wang, Chao
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761563

Ejemplares similares

Automated technology for verification and analysis: 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, proceedings
por: Artho, Cyrille, et al.
Publicado: (2016)

Automated technology for verification and analysis: 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, proceedings
por: Chen, Yu-Fang, et al.
Publicado: (2019)

Automated technology for verification and analysis: 12th international symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, proceedings
por: Cassez, Franck, et al.
Publicado: (2014)

Verification, model checking, and abstract interpretation: 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings
por: Dillig, Isil, et al.
Publicado: (2018)

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

Topics in cryptology - CT-RSA 2018: the cryptographers' track at the RSA conference 2018, San Francisco, CA, USA, April 16-20, 2018, proceedings
por: Smart, Nigel P
Publicado: (2018)

The semantic web - ISWC 2018: 17th international semantic web conference, Monterey, CA, USA, October 8-12, 2018, proceedings, part I
por: Vrandečić, Denny, 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)

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

Leveraging applications of formal methods, verification and validation verification: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part II
por: Margaria, Tiziana, et al.
Publicado: (2018)

Latin 2018: 13th Latin American symposium, Buenos Aires, Argentina, April 16-19, 2018, proceedings
por: Bender, Michael A, et al.
Publicado: (2018)

Logical foundations of computer science: international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, proceedings
por: Artemov, Sergei, et al.
Publicado: (2017)

Theoretical aspects of computing - ICTAC 2018: 15th international colloquium, Stellenbosch, South Africa, October 16-19, 2018, proceedings
por: Fischer, Bernd, 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)

Decision and game theory for security: 9th international conference, GameSec 2018, Seattle, WA, USA, October 29-31, 2018, proceedings
por: Bushnell, Linda, et al.
Publicado: (2018)

Advances in visual computing: 13th international symposium, ISVC 2018, Las Vegas, NV, USA, November 19 - 21, 2018, proceedings
por: Bebis, George, et al.
Publicado: (2018)

Automated invention for smart industries: 18th international TRIZ future conference, TFC 2018, Strasbourg, France, October 29-31, 2018, proceedings
por: Cavallucci, Denis, et al.
Publicado: (2018)

Programming languages and systems: 16th Asian symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, proceedings
por: Ryu, Sukyoung
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)

Leveraging applications of formal methods, verification and validation modeling: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part I
por: Margaria, Tiziana, et al.
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)

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)

Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
por: Colombo, Christian, et al.
Publicado: (2018)

Brain informatics: international conference, BI 2018, Arlington, TX, USA, December 7-9, 2018, proceedings
por: Wang, Shouyi, et al.
Publicado: (2018)

Leveraging applications of formal methods, verification and validation distributed systems: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part III
por: Margaria, Tiziana, et al.
Publicado: (2018)

Leveraging applications of formal methods, verification and validation industrial practice: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part IV
por: Margaria, Tiziana, et al.
Publicado: (2018)

Model and data engineering: 8th international conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, proceedings
por: Abdelwahed, El Hassan, 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)

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

Use of Molecular Epidemiology to Inform Response to a Hepatitis A Outbreak — Los Angeles County, California, October 2018–April 2019
por: Haddix, Meredith, et al.
Publicado: (2020)

Advances in cryptology - CRYPTO 2018: 38th annual international cryptology conference, Santa Barbara, CA, USA, August 19-23, 2018, proceedings, part II
por: Shacham, Hovav, et al.
Publicado: (2018)

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

Cannot write session to /tmp/vufind_sessions/sess_humvecue5imnr53hkvqkumk4ae