Cargando…

Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings

Detalles Bibliográficos
Autores principales:	Polikarpova, Nadia, Schneider, Steve
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756857

Ejemplares similares

Critical systems: joint 22nd international workshop on formal methods for industrial critical systems and 17th international workshop on automated verification of critical systems, FMICS-AVOCS 2017, Turin, Italy, September 18-20, 2017, proceedings
por: Petrucci, Laure, et al.
Publicado: (2017)

IoT as a service: third international conference, IOTAAS 2017, Taichung, Taiwan, September 20-22, 2017, proceedings
por: Lin, Yi-Bing, et al.
Publicado: (2018)

Integrated formal methods: 14th international conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, proceedings
por: Furia, Carlo A, et al.
Publicado: (2018)

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

Model-based safety and assessment: 5th international symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, proceedings
por: Bozzano, Marco, et al.
Publicado: (2017)

Advances in computing: 12th Colombian conference, CCC 2017, Cali, Colombia, September 19-22, 2017, proceedings
por: Solano, Andrés, et al.
Publicado: (2017)

Formal methods and software engineering: 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, proceedings
por: Duan, Zhenhua, et al.
Publicado: (2017)

Data warehousing and knowledge discovery: 10th international conference, DAWAK 2008 Turin, Italy, September 1-5, 2008, proceedings
por: Eder, Johann, et al.
Publicado: (2008)

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

Formal aspects of component software: 14th international conference, FACS 2017, Braga, Portugal, October 10-13, 2017, proceedings
por: Proença, José, et al.
Publicado: (2017)

System modeling and optimization: proceedings of the 22nd IFIP TC7 conference held from , July 18-22, 2005, Turin, Italy
por: Ceragioli, F, et al.
Publicado: (2006)

Information systems: 10th SIGSAND/PLAIS EuroSymposium 2017, Gdansk, Poland, September 22, 2017, proceedings
por: Wrycza, Stanisław, et al.
Publicado: (2017)

Distributed computer and communication networks: 20th international conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, proceedings
por: Vishnevskiy, Vladimir M, et al.
Publicado: (2017)

Image analysis and processing - ICIAP 2017: 19th international conference, Catania, Italy, September 11-15, 2017, proceedings, part II
por: Battiato, Sebastiano, et al.
Publicado: (2017)

Image analysis and processing - ICIAP 2017: 19th international conference, Catania, Italy, September 11-15, 2017, proceedings, part I
por: Battiato, Sebastiano, et al.
Publicado: (2017)

Integrated formal methods: 15th international conference, IFM 2019, Bergen, Norway, December 2-6, 2019, proceedings
por: Ahrendt, Wolfgang, et al.
Publicado: (2019)

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

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

Cognitive radio oriented wireless networks: 12th international conference, CROWNCOM 2017, Lisbon, Portugal, September 20-21, 2017, proceedings
por: Marques, Paulo, et al.
Publicado: (2018)

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)

Research in attacks, intrusions, and defenses: 20th international symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, proceedings
por: Dacier, Marc, et al.
Publicado: (2017)

Intelligence science and big data engineering: 7th international conference, IScIDE 2017, Dalian, China, September 22-23, 2017, proceedings
por: Sun, Yi, et al.
Publicado: (2017)

Machine learning and knowledge discovery in databases: European conference, ECML PKDD 2017, Skopje, Macedonia, September 18-22, 2017, proceedings, part III
por: Altun, Yasemin, et al.
Publicado: (2017)

Machine learning and knowledge discovery in databases: European conference, ECML PKDD 2017, Skopje, Macedonia, September 18-22, 2017, proceedings, part I
por: Ceci, Michelangelo, et al.
Publicado: (2017)

Proceedings of the PHOTON-2017 Conference: CERN, Geneva, Switzerland, May 22-26, 2017
por: d'Enterria, David, et al.
Publicado: (2018)

String processing and information retrieval: 24th international symposium, SPIRE 2017, Palermo, Italy, September 26-29, 2017, proceedings
por: Fici, Gabriele, et al.
Publicado: (2017)

Collaborative networks and digital transformation: 20th IFIP WG 5. 5 working conference on virtual enterprises, PRO-VE 2019, Turin, Italy, September 23-25, 2019, proceedings
por: Camarinha-Matos, Luis M, et al.
Publicado: (2019)

Clinical Genetics of Cancer 2017: Szczecin, Poland. 21-22 September 2017
Publicado: (2018)

Fundamentals of computation theory: 21st international symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, proceedings
por: Klasing, Ralf, et al.
Publicado: (2017)

Security in computing and communications: 5th international symposium, SSCC 2017, Manipal, India, september 13-16, 2017, proceedings
por: Thampi, Sabu M, et al.
Publicado: (2017)

Sepsis 2017 Paris: Paris, France. September 11–13, 2017
Publicado: (2017)

Web and internet economics: 13th international conference, WINE 2017, Bangalore, India, December 17-20, 2017, proceedings
por: R Devanur, Nikhil, et al.
Publicado: (2017)

Computer safety, reliability, and security: SAFECOMP 2017 workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, proceedings
por: Tonetta, Stefano, et al.
Publicado: (2017)

Formal grammar: 22nd international conference, FG 2017, Toulouse, France, July 22-23, 2017, revised selected papers
por: Foret, Annie, et al.
Publicado: (2018)

Data science: third international conference of pioneering computer scientists, engineers and educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, proceedings, part II
por: Zou, Beiji, et al.
Publicado: (2017)

Data science: third international conference of pioneering computer scientists, engineers and educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, proceedings, part I
por: Zou, Beiji, et al.
Publicado: (2017)

Meeting abstracts from the International Stillbirth Alliance Conference 2017: Cork, Ireland. September 22-24, 2017
Publicado: (2017)

Social media processing: 6th national conference, SMP 2017, Beijing, China, September 14-17, 2017, proceedings
por: Cheng, Xueqi, et al.
Publicado: (2017)

Combinatorics on words: 11th international conference, words 2017, montréal, QC, Canada, September 11-15, 2017, proceedings
por: Brlek, Srečko, et al.
Publicado: (2017)

Quantitative evaluation of systems: 14th international conference, QEST 2017, Berlin, Germany, September 5-7, 2017, proceedings
por: Bertrand, Nathalie, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_0il4ns5ntpuvccq2e2duofbppm