Cargando…

Formal modeling and analysis of timed systems: 17th international conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, proceedings

Detalles Bibliográficos
Autores principales:	André, Étienne, Stoelinga, Mariëlle
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755203

Ejemplares similares

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)

Formal aspects of component software: 16th international conference, FACS 2019, Amsterdam, The Netherlands, october 23-25, 2019, proceedings
por: Arbab, Farhad, et al.
Publicado: (2020)

Geometric science of information: 4th international conference, GSI 2019, Toulouse, France, August 27-29, 2019, proceedings
por: Nielsen, Frank, et al.
Publicado: (2019)

Queueing theory and network applications: 14th international conference, QTNA 2019, Ghent, Belgium, August 27-29, 2019, proceedings
por: Phung-Duc, Tuan, et al.
Publicado: (2019)

Formal grammar: 24th international conference, FG 2019, Riga, Latvia, August 11, 2019, proceedings
por: Bernardi, Raffaella, et al.
Publicado: (2019)

Image analysis and recognition: 16th international conference, ICIAR 2019, Waterloo, ON, Canada, August 27-29, 2019, proceedings, part I
por: Karray, Fakhri, et al.
Publicado: (2019)

Image analysis and recognition: 16th international conference, ICIAR 2019, Waterloo, ON, Canada, August 27-29, 2019, proceedings, part II
por: Karray, Fakhri, et al.
Publicado: (2019)

Soft computing in data science: 5th international conference, SCDS 2019, Iizuka, Japan, August 28-29, 2019, proceedings
por: Berry, Michael W, et al.
Publicado: (2019)

Algorithms and complexity: 11th international conference, CIAC 2019, Rome, Italy, May 27-29, 2019, proceedings
por: Heggernes, Pinar
Publicado: (2019)

Automated deduction - CADE 27: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019, proceedings
por: Fontaine, Pascal
Publicado: (2019)

Software engineering and formal methods: 17th international conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings
por: Ölveczky, Peter Csaba, et al.
Publicado: (2019)

Trust, privacy and security in digital business: 16th international conference, TrustBus 2019, Linz, Austria, August 26-29, 2019, proceedings
por: Gritzalis, Stefanos, et al.
Publicado: (2019)

Database and expert systems applications: 30th international conference, DEXA 2019, Linz, Austria, August 26-29, 2019, proceedings, part II
por: Hartmann, Sven, et al.
Publicado: (2019)

Database and expert systems applications: 30th international conference, DEXA 2019, Linz, Austria, August 26-29, 2019, proceedings, part I
por: Hartmann, Sven, et al.
Publicado: (2019)

The practice of enterprise modeling: 12th IFIP working conference, POEM 2019, Luxembourg, Luxembourg, November 27-29, 2019, proceedings
por: Gordijn, Jaap, et al.
Publicado: (2019)

Passive and active measurement: 20th international conference, PAM 2019, Puerto Varas, Chile, March 27-29, 2019, proceedings
por: Choffnes, David, et al.
Publicado: (2019)

Future network systems and security: 5th international conference, FNSS 2019, Melbourne, VIC, Australia, November 27-29, 2019, proceedings
por: Doss, Robin, et al.
Publicado: (2019)

Future data and security engineering: 6th international conference, FDSE 2019, Nha Trang City, Vietnam, November 27-29, 2019, proceedings
por: Dang, Tran Khanh, et al.
Publicado: (2019)

Artificial intelligence in medicine: 17th conference on artificial intelligence in medicine, AIME 2019, Poznan, Poland, June 26-29, 2019, proceedings
por: Riaño, David, et al.
Publicado: (2019)

Big data analytics and knowledge discovery: 21st international conference, DAWAK 2019, Linz, Austria, August 26-29, 2019, proceedings
por: Ordonez, Carlos, et al.
Publicado: (2019)

Computational color imaging: 7th international workshop, CCIW 2019, Chiba, Japan, March 27-29, 2019, proceedings
por: Tominaga, Shoji, et al.
Publicado: (2019)

Evolutionary computation in combinatorial optimization: 17th European conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, proceedings
por: Hu, Bin, 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)

Formal concept analysis: 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, proceedings
por: Cristea, Diana, et al.
Publicado: (2019)

Artificial general intelligence: 12th international conference, AGI 2019, Shenzhen, China, August 6-9, 2019, proceedings
por: Hammer, Patrick, et al.
Publicado: (2019)

Computing and combinatorics: 25th international conference, COCOON 2019, Xi'an, China, July 29-31, 2019, proceedings
por: Du, Ding-Zhu, et al.
Publicado: (2019)

Pattern recognition: 11th Mexican conference, MCPR 2019, Querétaro, Mexico, June 26-29, 2019, proceedings
por: Carrasco-Ochoa, Jesús Ariel, et al.
Publicado: (2019)

Advances in biometrics: international conference, ICB 2007, Seoul, Korea, August 27-29, 2007, proceedings
por: Lee, Seong-Whan, et al.
Publicado: (2007)

Intelligent virtual agents: 14th international conference, IVA 2014, Boston, MA, USA, August 27-29, 2014, proceedings
por: Bickmore, Timothy, et al.
Publicado: (2014)

Algorithmic aspects in information and management: 13th international conference, AAIM 2019, Beijing, China, August 6-8, 2019, proceedings
por: Du, Ding-Zhu, et al.
Publicado: (2019)

Collaborative computing: 15th EAI international conference, CollaborateCom 2019, London, UK, August 19-22, 2019, proceedings
por: Wang, Xinheng, et al.
Publicado: (2019)

Euro-Par 2019: 25th international conference on parallel and distributed computing, Göttingen, Germany, August 26-30, 2019, proceedings
por: Yahyapour, Ramin
Publicado: (2019)

Image and graphics: 10th international conference, ICIG 2019, Beijing, China, August 23-25, 2019, proceedings, part II
por: Zhao, Yao, et al.
Publicado: (2019)

Image and graphics: 10th international conference, ICIG 2019, Beijing, China, August 23-25, 2019, proceedings, part I
por: Zhao, Yao, et al.
Publicado: (2019)

Image and graphics: 10th international conference, ICIG 2019, Beijing, China, August 23-25, 2019, proceedings, part III
por: Zhao, Yao, et al.
Publicado: (2019)

Machine learning and intelligent communications: 4th international conference, MLICOM 2019, Nanjing, China, August 24-25, 2019, proceedings
por: Zhai, Xiangping Bryce, et al.
Publicado: (2019)

WALCOM: 13th international conference, WALCOM 2019, Guwahati, India, February 27 - March 2, 2019, proceedings
por: Das, Gautam K, et al.
Publicado: (2018)

Graph transformation: 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, proceedings
por: Guerra, Esther, 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)

Intelligent computing methodologies: 15th international conference, ICIC 2019, Nanchang, China, August 3-6, 2019, proceedings, part III
por: Huang, De-Shuang, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_0jauc6d79tkm60ug1vv60eea2s