Cargando…

Runtime verification: 19th international conference, RV 2019, Porto, Portugal, October 8-11, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Finkbeiner, Bernd, Mariani, Leonardo
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755752

Ejemplares similares

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

Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
por: Hutton, Graham
Publicado: (2019)

Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings
por: Beyer, Dirk, et al.
Publicado: (2019)

Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings
por: Soares Barbosa, Luís, et al.
Publicado: (2020)

Formal methods - the next 30 years: third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings
por: ter Beek, Maurice H, et al.
Publicado: (2019)

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

Runtime verification: 16th international conference, RV 2016, Madrid, Spain, September 23-30, 2016, proceedings
por: Falcone, Yliès, et al.
Publicado: (2016)

Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
por: Colombo, Christian, 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)

Unifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedings
por: Ribeiro, Pedro, et al.
Publicado: (2019)

Formal methods teaching: third international workshop and tutorial, FMTea 2019, held as part of the third world congress on formal methods, FM 2019, Porto, Portugal, october 7, 2019, proceedings
por: Dongol, Brijesh, et al.
Publicado: (2019)

Verification, model checking, and abstract interpretation: 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings
por: Enea, Constantin, et al.
Publicado: (2019)

E-infrastructure and e-services for developing countries: 11th EAI international conference, AFRICOMM 2019, Porto-Novo, Benin, December 3-4, 2019, proceedings
por: Zitouni, Rafik, et al.
Publicado: (2020)

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

Smart blockchain: second international conference, SmartBlock 2019, Birmingham, UK, October 11-13, 2019, proceedings
por: Qiu, Meikang
Publicado: (2019)

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)

ICT innovations 2019 big data processing and mining: 11th international conference, ICT innovations 2019, Ohrid, North Macedonia, October 17-19, 2019, proceedings
por: Gievska, Sonja, et al.
Publicado: (2019)

Exploring service science: 10th international conference, IESS 2020, Porto, Portugal, February 5-7, 2020, proceedings
por: Nóvoa, Henriqueta, et al.
Publicado: (2020)

Architecture of computing systems - ARCS 2015: 28th international conference, Porto, Portugal, March 24-27, 2015, proceedings
por: Karl, Wolfgang, et al.
Publicado: (2015)

Biometric recognition: 14th Chinese conference, CCBR 2019, Zhuzhou, China, October 12-13, 2019, proceedings
por: Sun, Zhenan, et al.
Publicado: (2019)

Artificial intelligence: 17th Russian conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, proceedings
por: Kuznetsov, Sergei O, et al.
Publicado: (2019)

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)

Collaboration in a hyperconnected world: 17th IFIP WG 5. 5 working conference on virtual enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, proceedings
por: Afsarmanesh, Hamideh, et al.
Publicado: (2016)

PRIMA 2019: 22nd international conference, Turin, Italy, October 28-31, 2019, proceedings
por: Baldoni, Matteo, et al.
Publicado: (2019)

ICT systems security and privacy protection: 34th IFIP TC 11 international conference, SEC 2019, Lisbon, Portugal, June 25-27, 2019, proceedings
por: Dhillon, Gurpreet, et al.
Publicado: (2019)

CAS Proceedings of the 2019 course on High Gradient Wakeﬁeld Accelerators, Sesimbra, Portugal, 11–22 March 2019
por: Schmickler, Hermann
Publicado: (2020)

Arabic language processing: 7th international conference, ICALP 2019, Nancy, France, October 16-17, 2019, proceedings
por: Smaïli, Kamel
Publicado: (2019)

Model and data engineering: 9th international conference, MEDI 2019, Toulouse, France, October 28-31, 2019, proceedings
por: Schewe, Klaus-Dieter, et al.
Publicado: (2019)

Cryptology and network security: 18th international conference, CANS 2019, Fuzhou, China, October 25-27, 2019, proceedings
por: Mu, Yi, et al.
Publicado: (2019)

Health information science: 8th international conference, HIS 2019, Xi'an, China, October 18-20, 2019, proceedings
por: Wang, Hua, et al.
Publicado: (2019)

Service-oriented computing: 17th international conference, ICSOC 2019, Toulouse, France, October 28-31, 2019, proceedings
por: Yangui, Sami, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part IV
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part V
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part I
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part III
por: Rodrigues, João M F, et al.
Publicado: (2019)

Computational science - ICCS 2019: 19th international conference, Faro, Portugal, June 12-14, 2019, proceedings, part II
por: Rodrigues, João M F, et al.
Publicado: (2019)

Dementia Lab 2019 making design work: 4th conference, d-Lab 2019, Eindhoven, The Netherlands, October 21-22, 2019, proceedings
por: Brankaert, Rens, et al.
Publicado: (2019)

Conference Abstracts: European Academy of Nursing Science Summer Conference 2019: Lisbon, Portugal. 10-11 July 2019
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_h0fcttbaerj2a4lonvo4ailufi