Cargando…

Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Colombo, Christian, Leucker, Martin
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2764269

Ejemplares similares

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)

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)

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)

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)

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

(18) Anniversary Conference 20 Years Cyprus Society Of Nuclear Medicine (CYSNM20) Limassol Cyprus, 6(th)– 10(th) November 2019
Publicado: (2019)

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

Metadata and semantic research: 12th international conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, revised selected papers
por: Garoufallou, Emmanouel, et al.
Publicado: (2019)

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

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: 16th international conference, RV 2016, Madrid, Spain, September 23-30, 2016, proceedings
por: Falcone, Yliès, et al.
Publicado: (2016)

Software reuse: 15th international conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, proceedings
por: Kapitsaki, Georgia M, et al.
Publicado: (2016)

Data integration in the life sciences: 13th international conference, DILS 2018, Hannover, Germany, November 20-21, 2018, proceedings
por: Auer, Sören, et al.
Publicado: (2018)

Sofsem 2020: 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, proceedings
por: Chatzigeorgiou, Alexander, et al.
Publicado: (2020)

IoT as a service: 4th EAI international conference, IoTaaS 2018, Xi'an, China, November 17-18, 2018, proceedings
por: Li, Bo, et al.
Publicado: (2019)

Multi-disciplinary trends in artificial intelligence: 12th international conference, MIWAI 2018, Hanoi, Vietnam, November 18-20, 2018, proceedings
por: Kaenampornpan, Manasawee, et al.
Publicado: (2018)

Advances in artificial intelligence - IBERAMIA 2018: 16th Ibero-American conference on AI, Trujillo, Peru, November 13-16, 2018, proceedings
por: Simari, Guillermo R, et al.
Publicado: (2018)

Critical information infrastructures security: 9th international conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, revised selected papers
por: Panayiotou, Christos G, et al.
Publicado: (2016)

Social gradient in quality of life according to microscale neighbourhood features, Limassol, Cyprus
por: Middleton, N, et al.
Publicado: (2023)

Bio-inspired computing: 13th international conference, BIC-TA 2018, Beijing, China, November 2-4, 2018, proceedings, part II
por: Qiao, Jianyong, et al.
Publicado: (2018)

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

Technologies and innovation: 4th international conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, proceedings
por: Valencia-García, Rafael, et al.
Publicado: (2018)

ECU convention 2017 research presentations: Limassol, Cyprus. 25-27 May 2017
por: Kongsted, Alice, et al.
Publicado: (2017)

Security standardisation research: 4th international conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, proceedings
por: Cremers, Cas, et al.
Publicado: (2018)

Service-oriented computing: 16th international conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, proceedings
por: Pahl, Claus, et al.
Publicado: (2018)

Computational science - ICCS 2018: 18th international conference, Wuxi, China, June 11-13, 2018, proceedings, part II
por: Shi, Yong, et al.
Publicado: (2018)

Applied informatics: first international conference, ICAI 2018, Bogotá, Colombia, November 1-3, 2018, proceedings
por: Florez, Hector, et al.
Publicado: (2018)

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

Algorithms and architectures for parallel processing: 18th international conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, proceedings, part II
por: Vaidya, Jaideep, et al.
Publicado: (2018)

Algorithms and architectures for parallel processing: 18th international conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, proceedings, part I
por: Vaidya, Jaideep, et al.
Publicado: (2018)

Algorithms and architectures for parallel processing: 18th international conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, proceedings, part IV
por: Vaidya, Jaideep, et al.
Publicado: (2018)

Algorithms and architectures for parallel processing: 18th international conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, proceedings, part III
por: Vaidya, Jaideep, et al.
Publicado: (2018)

Web information systems engineering - WISE 2012: 13th international conference, Paphos, Cyprus, November 28-30, 2012, proceedings
por: Delis, Alex, et al.
Publicado: (2012)

Theory of cryptography: 16th international conference, TCC 2018, Panaji, India, November 11-14, 2018, proceedings, part II
por: Beimel, Amos, et al.
Publicado: (2018)

Theory of cryptography: 16th international conference, TCC 2018, Panaji, India, November 11-14, 2018, proceedings, part I
por: Beimel, Amos, et al.
Publicado: (2018)

Applications and techniques in information security: 9th international conference, ATIS 2018, Nanning, China, November 9-11, 2018, proceedings
por: Chen, Qingfeng, et al.
Publicado: (2018)

Group decision and negotiation in an uncertain world: 18th international conference, GDN 2018, Nanjing, China, June 9-13, 2018, proceedings
por: Chen, Ye, 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)

Cannot write session to /tmp/vufind_sessions/sess_60kcss61ni2k3dr5cg99jdp3qd