Cargando…

Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings

Detalles Bibliográficos
Autores principales:	Ribeiro, Leila, Lecomte, Thierry
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761358

Ejemplares similares

Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings
por: Cavalheiro, Simone, et al.
Publicado: (2017)

Preface – 22nd Brazilian Symposium on Formal Methods – SBMF 2019
por: Duran, Adolfo, et al.
Publicado: (2021)

Formal methods: 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, proceedings
por: Cornélio, Márcio, et al.
Publicado: (2016)

Formal methods: 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011, proceedings
por: Simao, Adenilso, et al.
Publicado: (2011)

Programming languages: 20th Brazilian symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, proceedings
por: Castor, Fernando, et al.
Publicado: (2016)

Technologies and innovation: second international conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, proceedings
por: Valencia-García, Rafael, et al.
Publicado: (2016)

Programming languages and systems: 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, proceedings
por: Igarashi, Atsushi
Publicado: (2016)

Future network systems and security: second international conference, FNSS 2016, Paris, France, November 23-25, 2016, proceedings
por: Doss, Robin, et al.
Publicado: (2016)

FM 2016: 21st international symposium, Limassol, Cyprus, November 9-11, 2016, proceedings
por: Fitzgerald, John, et al.
Publicado: (2016)

Future data and security engineering: third international conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016, proceedings
por: Dang, Tran Khanh, et al.
Publicado: (2016)

Dependable software engineering: second international symposium, SETTA 2016, Beijing, China, November 9-11, 2016, proceedings
por: änzle, Martin, et al.
Publicado: (2016)

Advances in artificial intelligence - IBERAMIA 2016: 15th Ibero-American conference on AI, San José, Costa Rica, November 23-25, 2016, proceedings
por: Montes y Gómez, Manuel, et al.
Publicado: (2016)

NASA formal methods: 8th international symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, proceedings
por: Rayadurgam, Sanjai, et al.
Publicado: (2016)

Metadata and semantics research: 10th international conference, MTSR 2016, Göttingen, Germany, November 22-25, 2016, proceedings
por: Garoufallou, Emmanouel, et al.
Publicado: (2016)

Static analysis: 23rd international symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings
por: Rival, Xavier
Publicado: (2016)

Web technologies and applications: APWeb 2016 workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, proceedings
por: Morishima, Atsuyuki, et al.
Publicado: (2016)

Abstracts from ISSN Brazil: Brasília, Brazil. 19-20 November 2016
por: Heibel, André Barroso, et al.
Publicado: (2017)

Proceedings, Parton Radiation and Fragmentation from LHC to FCC-ee: CERN, Geneva, Switzerland, November 22-23, 2016
por: d'Enterria, David, et al.
Publicado: (2017)

Quantitative evaluation of systems: 13th international conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, proceedings
por: Agha, Gul, et al.
Publicado: (2016)

Secure IT systems: 21st Nordic conference, NORDSEC 2016, Oulu, Finland, November 2-4, 2016 proceedings
por: Brumley, Billy Bob, et al.
Publicado: (2016)

Conceptual modeling: 35th international conference, ER 2016, Gifu, Japan, November 14-17, 2016, proceedings
por: Comyn-Wattiau, Isabelle, et al.
Publicado: (2016)

Provable security: 10th international conference, PROVSEC 2016, Nanjing, China, November 10-11, 2016, proceedings
por: Chen, Liqun, et al.
Publicado: (2016)

Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
por: Ábrahám, Erika, et al.
Publicado: (2016)

Proceedings of the 2016 China Cancer Immunotherapy Workshop: Beijing, China. 25-26 June 2016
por: Xue, Bin, et al.
Publicado: (2016)

Health information science: 5th international conference, HIS 2016, Shanghai, China, November 5-7, 2016, proceedings
por: Yin, Xiaoxia, et al.
Publicado: (2016)

Collaborate computing: 12th international conference, CollaborateCom 2016, Beijing, China, November 10-11, 2016, proceedings
por: Wang, Shangguang, et al.
Publicado: (2017)

Logics in artificial intelligence: 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, proceedings
por: Michael, Loizos, et al.
Publicado: (2016)

Multiple access communications: 9th international workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, proceedings
por: Madsen, Tatiana K, et al.
Publicado: (2016)

Cryptology and network security: 15th international conference, CANS 2016, Milan, Italy, November 14-16, 2016, proceedings
por: Foresti, Sara, et al.
Publicado: (2016)

Latin 2016: 12th Latin American symposium, Ensenada, Mexico, April 11-15, 2016, proceedings
por: Kranakis, Evangelos, et al.
Publicado: (2016)

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

Formal techniques for safety-critical systems: 5th international workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, revised selected papers
por: Artho, Cyrille, et al.
Publicado: (2017)

Reliability, safety, and security of railway systems modelling, analysis, verification, and certification: first international conference, RSSRAIL 2016, Paris, France, June 28-30, 2016, proceedings
por: Lecomte, Thierry, et al.
Publicado: (2016)

Web technologies and applications: 18th Asia-Pacific web conference, APWeb 2016, Suzhou, China, September 23-25, 2016 proceedings, part I
por: Li, Feifei, et al.
Publicado: (2016)

Information and communications security: 18th international conference, ICICS 2016, Singapore, Singapore, November 29 - December 2, 2016, proceedings
por: Chi, Chi-Hung, et al.
Publicado: (2016)

Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings
por: Bloem, Roderick, et al.
Publicado: (2016)

Pattern recognition: 7th Chinese conference, CCPR 2016, Chengdu, China, November 5-7, 2016, proceedings, part I
por: Tan, Tieniu, et al.
Publicado: (2016)

Information security practice and experience: 12th international conference, ISPEC 2016, Zhangjiajie, China, November 16-18, 2016, proceedings
por: Bao, Feng, et al.
Publicado: (2016)

Intelligent computing systems: first international symposium, ISICS 2016, Mérida, México, March 16-18, 2016, proceedings
por: Martin-Gonzalez, Anabel, et al.
Publicado: (2016)

Distributed computing: 30th international symposium, DISC 2016, Paris, France, September 27-29, 2016 proceedings
por: Gavoille, Cyril, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_refkmptfrpjcciosuog0uhf7m8