Cargando…

Runtime verification: 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 proceedings

Detalles Bibliográficos
Autores principales:	Bartocci, Ezio, Majumdar, Rupak
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761529

Ejemplares similares

Security and trust management: 11th international workshop, STM 2015, Vienna, Austria, September 21-22, 2015, proceedings
por: Foresti, Sara
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: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings
por: Lahiri, Shuvendu, et al.
Publicado: (2017)

4th European Congress of Immunology (ECI), September 6–9, 2015, Vienna, Austria
por: Le, Duc H.
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)

Collaboration and technology: 21st international conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, proceedings
por: Baloian, Nelson, et al.
Publicado: (2015)

Euro-Par 2015: euro-Par 2015 international workshops, Vienna, Austria, August 24-25, 2015, revised selected papers
por: Hunold, Sascha, et al.
Publicado: (2015)

Advances in information retrieval: 37th european conference on IR research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015 proceedings
por: Hanbury, Allan, et al.
Publicado: (2015)

Security of industrial control systems and cyber physical systems: first workshop, CyberICS 2015 and first workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 revised selected papers
por: Bécue, Adrien, et al.
Publicado: (2016)

Business process management: 13th international conference, BPM 2015, Innsbruck, Austria, August 31 - September 3, 2015, proceedings
por: Motahari-Nezhad, Hamid Reza, et al.
Publicado: (2015)

50th International Liver Congress: update on viral hepatitis: 22–26 April 2015, Vienna, Austria
por: Cunningham, Morven, et al.
Publicado: (2015)

Society for Molecular Biology and Evolution, Council and Business Meetings, 2015, Vienna Austria
por: McInerney, James O.
Publicado: (2016)

KI 2015: 38th annual German conference on AI, Dresden, Germany, September 21-25, 2015, proceedings
por: Hölldobler, Steffen, et al.
Publicado: (2015)

Computational logistics: 6th international conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, proceedings
por: Corman, Francesco, et al.
Publicado: (2015)

Nursing highlights from the 2015 European Cancer Congress (ECCO18–ESMO40), 25–29 September 2015, Vienna: reinforcing multidisciplinarity
por: Caruso, Rosario, et al.
Publicado: (2015)

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

Information systems: 8th SIGSAND/PLAIS Eurosymposium 2015, Gdansk, Poland, September 25, 2015, proceedings
por: Wrycza, Stanislaw
Publicado: (2015)

Static analysis: 22nd international symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, proceedings
por: Blazy, Sandrine, et al.
Publicado: (2015)

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

Automated reasoning: 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, Vienna, Austria, July 19-22, 2014, proceedings
por: Demri, Stéphane, et al.
Publicado: (2014)

Discrete geometry for computer imagery: 20th IAPR international conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017, proceedings
por: Kropatsch, Walter G, et al.
Publicado: (2017)

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)

Systems, software and services process improvement: 22nd european conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 2015 proceedings
por: Umay Akkaya, Mariye, et al.
Publicado: (2015)

Entertainment computing - ICEC 2015: 14th international conference, ICEC 2015, Trondheim, Norway, September 29 - October 2, 2015, proceedings
por: Chorianopoulos, Konstantinos, et al.
Publicado: (2015)

Speech and computer: 17th international conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, proceedings
por: Ronzhin, Andrey, et al.
Publicado: (2015)

Combinatorics on words: 10th international conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, proceedings
por: Manea, Florin, et al.
Publicado: (2015)

Information security: 18th international conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, proceedings
por: Lopez, Javier, et al.
Publicado: (2015)

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

Meeting abstracts from the Annual Conference on Hereditary Cancers 2015: Szczecin, Poland. 24-25 September, 2015
por: Thompson, Ella R., et al.
Publicado: (2017)

Abstracts from the 4th World Congress of the International Dermoscopy Society, April 16–18, 2015, Vienna, Austria
Publicado: (2015)

Decision and game theory for security: 8th international conference, GameSec 2017, Vienna, Austria, October 23-25, 2017, proceedings
por: Rass, Stefan, et al.
Publicado: (2017)

Soft computing in data science: first international conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015, proceedings
por: Berry, Michael W, et al.
Publicado: (2015)

Computer vision: CCF Chinese conference, CCCV 2015, Xi'an, China, September 18-20, 2015, proceedings, part I
por: Zha, Honbin, et al.
Publicado: (2015)

Computer vision: CCF Chinese conference, CCCV 2015, Xi'an, China, September 18-20, 2015, proceedings, part II
por: Zha, Hongbin, et al.
Publicado: (2015)

Software architecture: 9th European conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 proceedings
por: Weyns, Danny, et al.
Publicado: (2015)

Service-oriented and cloud computing: 5th IFIP WG 2. 14 European conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, proceedings
por: Aiello, Marco, et al.
Publicado: (2016)

Mobile web and intelligent information systems: 13th international conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, proceedings
por: Younas, Muhammad, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_u6igrjada62frflh7fpvjop8qc