Cargando…

Formal modeling and analysis of timed systems: 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, proceedings

Detalles Bibliográficos
Autores principales:	änzle, Martin, Markey, Nicolas
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2016
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757503

Ejemplares similares

Quantitative evaluation of systems: 13th international conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, proceedings
por: Agha, Gul, et al.
Publicado: (2016)

Artificial general intelligence: 7th international conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, proceedings
por: Goertzel, Ben, et al.
Publicado: (2014)

Foundations and practice of security: 9th international symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, revised selected papers
por: Cuppens, édéric, et al.
Publicado: (2016)

PRICAI 2016: 14th Pacific rim international conference on artificial intelligence, Phuket, Thailand, August 22-26, 2016, proceedings
por: Booth, Richard, et al.
Publicado: (2016)

Image and signal processing: 7th international conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, proceedings
por: Mansouri, Alamin, et al.
Publicado: (2016)

Analytical and stochastic modelling techniques and applications: 23rd international conference, AMSTA 2016, Cardiff, UK, August 24-26, 2016, proceedings
por: Wittevrongel, Sabine, et al.
Publicado: (2016)

Dependable software engineering: second international symposium, SETTA 2016, Beijing, China, November 9-11, 2016, proceedings
por: änzle, Martin, 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)

Formal grammar: 24th international conference, FG 2019, Riga, Latvia, August 11, 2019, proceedings
por: Bernardi, Raffaella, 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)

Trust and trustworthy computing: 9th international conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, proceedings
por: Franz, Michael, et al.
Publicado: (2016)

Communications and networking: 11th EAI international conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, proceedings, part I
por: Chen, Qianbin, et al.
Publicado: (2017)

Communications and networking: 11th EAI international conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, proceedings, part II
por: Chen, Qianbin, et al.
Publicado: (2017)

Advances in cryptology - CRYPTO 2016: 36th annual international cryptology conference, Santa Barbara, CA, USA, August 14-18, 2016, proceedings, part II
por: Robshaw, Matthew, et al.
Publicado: (2016)

KI 2016: 39th annual German conference on AI, Klagenfurt, Austria, September 26-30, 2016, proceedings
por: Friedrich, Gerhard, et al.
Publicado: (2016)

Intelligent computing methodologies: 12th international conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, proceedings, part III
por: Huang, De-Shuang, et al.
Publicado: (2016)

Computer vision - ECCV 2016: 14th European conference, Amsterdam, The Netherlands, October 11-14, 2016, proceedings, part I
por: Leibe, Bastian, et al.
Publicado: (2016)

Computer vision - ECCV 2016: 14th European conference, Amsterdam, The Netherlands, October 11-14, 2016, proceedings, part V
por: Leibe, Bastian, et al.
Publicado: (2016)

Computer vision - ECCV 2016: 14th European conference, Amsterdam, The Netherlands, October 11-14, 2016, proceedings, part VI
por: Leibe, Bastian, et al.
Publicado: (2016)

Developments in language theory: 20th international conference, DLT 2016, Montréal, Canada, July 25-28, 2016, proceedings
por: Brlek, Srečko, et al.
Publicado: (2016)

Conceptual modeling: 35th international conference, ER 2016, Gifu, Japan, November 14-17, 2016, proceedings
por: Comyn-Wattiau, Isabelle, et al.
Publicado: (2016)

Mathematical software - ICMS 2016: 5th international conference, Berlin, Germany, July 11-14, 2016, proceedings
por: Greuel, Gert-Martin, et al.
Publicado: (2016)

Computational social networks: 5th international conference, csonet 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, proceedings
por: Nguyen, Hien T, et al.
Publicado: (2016)

Selected areas in cryptography - SAC 2014: 21st international conference, Montreal, QC, Canada, August 14-15, 2014, revised selected papers
por: Joux, Antoine, et al.
Publicado: (2014)

CERN collect for Earthquakein Italy August 24, 2016
por: Brice, Maximilien
Publicado: (2016)

Dataset for the assessment of metallic pollution in the Saint-Charles River sediments (Québec City, QC, Canada)
por: Chassiot, Léo, et al.
Publicado: (2019)

Formal methods: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, proceedings
por: Ribeiro, Leila, et al.
Publicado: (2016)

Combinatorial algorithms: 27th international workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, proceedings
por: Mäkinen, Veli, 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)

Cryptology and network security: 15th international conference, CANS 2016, Milan, Italy, November 14-16, 2016, proceedings
por: Foresti, Sara, et al.
Publicado: (2016)

Open source systems: 15th ifip wg 2 13 international conference, oss 2019, montreal, qc, canada, may 26-27, 2019, proceedings
por: Bordeleau, Francis, et al.
Publicado: (2019)

Cross-cultural design: 8th international conference, CCD 2016, held as part of HCI international 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings
por: Rau, Pei-Luen Patrick
Publicado: (2016)

6(th) Annual Conference of Indian Brachytherapy Society 2016 (IBSCON 2016) Proceedings
por: Srinivasan, Venkatesan, et al.
Publicado: (2016)

Formal methods for industrial critical systems: 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, proceedings
por: Larsen, Kim Guldstrand, et al.
Publicado: (2019)

Spatial cognition X: 13th biennial conference, KOGWIS 2016, Bremen, Germany, September 26-30, 2016, and 10th international conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, revised selected papers
por: Barkowsky, Thomas, et al.
Publicado: (2017)

Computing and combinatorics: 22nd international conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, proceedings
por: Dinh, Thang N, et al.
Publicado: (2016)

Applications and techniques in information security: 6th international conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016, proceedings
por: Batten, Lynn, 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)

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)

Cannot write session to /tmp/vufind_sessions/sess_83i2365bihob8rm3rbd018576p