Cargando…

Runtime verification: 16th international conference, RV 2016, Madrid, Spain, September 23-30, 2016, proceedings

Detalles Bibliográficos
Autores principales:	Falcone, Yliès, Sánchez, César
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761411

Ejemplares similares

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

Runtime verification: 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 proceedings
por: Bartocci, Ezio, et al.
Publicado: (2015)

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

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

Model and data engineering: 6th international conference, MEDI 2016, Almería, Spain, September 21-23, 2016, proceedings
por: Bellatreche, Ladjel, et al.
Publicado: (2016)

Conformal and probabilistic prediction with applications: 5th international symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, proceedings
por: Gammerman, Alexander, et al.
Publicado: (2016)

Systems, software and services process improvement: 23rd European conference, EUROSPI 2016, Graz, Austria, September 14-16, 2016, proceedings
por: Kreiner, Christian, et al.
Publicado: (2016)

Advances in artificial intelligence: 17th conference of the spanish association for artificial intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016 proceedings
por: Luaces, Oscar, et al.
Publicado: (2016)

On Benchmarking for Concurrent Runtime Verification
por: Aceto, Luca, et al.
Publicado: (2021)

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

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

KI 2016: 39th annual German conference on AI, Klagenfurt, Austria, September 26-30, 2016, proceedings
por: Friedrich, Gerhard, 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)

Enterovirus A71 Infection and Neurologic Disease, Madrid, Spain, 2016
por: Taravilla, Carmen Niño, et al.
Publicado: (2019)

Enterovirus A71 Infection and Neurologic Disease, Madrid, Spain, 2016
por: Del Giudice, Pascal
Publicado: (2020)

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)

Scalable uncertainty management: 10th international conference, SUM 2016, Nice, France, September 21-23, 2016, proceedings
por: Schockaert, Steven, et al.
Publicado: (2016)

Belief functions: 4th international conference, BELIEF 2016, Prague, Czech Republic, September 21-23, 2016, proceedings
por: Vejnarová, Jiřina, et al.
Publicado: (2016)

Network and system security: 10th international conference, NSS 2016, Taipei, Taiwan, September 28-30, 2016, proceedings
por: Chen, Jiageng, et al.
Publicado: (2016)

Multiagent system technologies: 14th German conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016 proceedings
por: Klusch, Matthias, et al.
Publicado: (2016)

Notes from the Field: An Outbreak of Salmonella Typhimurium Associated with Playground Sand in a Preschool Setting — Madrid, Spain, September–October 2016
por: Lucerón, Carmen Olmedo, et al.
Publicado: (2017)

Computational collective intelligence: 7th international conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, proceedings, part I
por: Núñez, Manuel, et al.
Publicado: (2015)

Specification of temporal properties of functions for runtime verification
por: Dawes, Joshua Heneage, et al.
Publicado: (2019)

Runtime verification of embedded real-time systems
por: Reinbacher, Thomas, et al.
Publicado: (2013)

Discourje: Runtime Verification of Communication Protocols in Clojure
por: Hamers, Ruben, et al.
Publicado: (2020)

Computer algebra in scientific computing: 18th international workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, proceedings
por: Gerdt, Vladimir P, et al.
Publicado: (2016)

Discrete optimization and operations research: 9th international conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, proceedings
por: Kochetov, Yury, et al.
Publicado: (2016)

Internet and distributed computing systems: 9th international conference, IDCS 2016, Wuhan, China, September 28-30, 2016, proceedings
por: Li, Wenfeng, et al.
Publicado: (2016)

HLola: a Very Functional Tool for Extensible Stream Runtime Verification
por: Gorostiaga, Felipe, et al.
Publicado: (2021)

Text, speech, and dialogue: 19th international conference, TSD 2016, Brno , Czech Republic, September 12-16, 2016, proceedings
por: Sojka, Petr, et al.
Publicado: (2016)

Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part II
por: Chaudhuri, Swarat, et al.
Publicado: (2016)

Computer aided verification: 28th international conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, proceedings, part I
por: Chaudhuri, Swarat, et al.
Publicado: (2016)

Knowledge engineering and semantic web: 7th international conference, KESW 2016, Prague, Czech Republic, September 21-23, 2016, proceedings
por: Ngonga Ngomo, Axel-Cyrille, et al.
Publicado: (2016)

Computational collective intelligence: 8th international conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016 proceedings, part II
por: Nguyen, Ngoc Thanh, et al.
Publicado: (2016)

Computational collective intelligence: 8th international conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016 proceedings, part I
por: Nguyen, Ngoc Thanh, et al.
Publicado: (2016)

Epidemiology, molecular characterisation and antimicrobial susceptibility of Neisseria gonorrhoeae isolates in Madrid, Spain, in 2016
por: Guerrero-Torres, M. D., et al.
Publicado: (2019)

Towards Automated Performance Analysis of Programs by Runtime Verification
por: Dawes, Joshua Heneage
Publicado: (2021)

Privacy in statistical databases: UNESCO chair in data privacy, international conference, PSD 2016, Dubrovnik, Croatia, September 14-16, 2016, proceedings
por: Domingo-Ferrer, Josep, et al.
Publicado: (2016)

Cryogenic Safety HSE Seminar | 21 - 23 September 2016
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)

Cannot write session to /tmp/vufind_sessions/sess_ucdu1tti48pc8p23cabmdmp1lv