Cargando…

Formal modeling and analysis of timed systems: 16th international conference, FORMATS 2018, Beijing, China, September 4-6, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Jansen, David N, Prabhakar, Pavithra
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2764244

Ejemplares similares

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

Artificial intelligence and symbolic computation: 13th international conference, AISC 2018, Suzhou, China, September 16-19, 2018, proceedings
por: Fleuriot, Jacques, et al.
Publicado: (2018)

Business process management: 16th international conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, proceedings
por: Weske, Mathias, et al.
Publicado: (2018)

Dependable software engineering theories, tools, and applications: 4th international symposium, SETTA 2018, Beijing, China, September 4-6, 2018, proceedings
por: Feng, Xinyu, et al.
Publicado: (2018)

Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings
por: Johnsen, Einar Broch, et al.
Publicado: (2018)

Artificial intelligence: 16th Russian conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, proceedings
por: Kuznetsov, Sergei O, et al.
Publicado: (2018)

Web information systems and applications: 15th international conference, WISA 2018, Taiyuan, China, September 14-15, 2018, proceedings
por: Meng, Xiaofeng, et al.
Publicado: (2018)

Formal methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings
por: Howar, Falk, et al.
Publicado: (2018)

Reachability problems: 12th international conference, RP 2018, Marseille, France, September 24-26, 2018, proceedings
por: Potapov, Igor, et al.
Publicado: (2018)

Artificial intelligence: 18th international conference, AIMSA 2018, Varna, Bulgaria, September 12-14, 2018, proceedings
por: Agre, Gennady, et al.
Publicado: (2018)

Speech and computer: 20th international conference, SPECOM 2018, Leipzig, Germany, September 18-22, 2018, proceedings
por: Karpov, Alexey, et al.
Publicado: (2018)

Reversible computation: 10th international conference, RC 2018, Leicester, UK, September 12-14, 2018, proceedings
por: Kari, Jarkko, et al.
Publicado: (2018)

Service-oriented computing: 16th international conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, proceedings
por: Pahl, Claus, et al.
Publicado: (2018)

Bio-inspired computing: 13th international conference, BIC-TA 2018, Beijing, China, November 2-4, 2018, proceedings, part II
por: Qiao, Jianyong, et al.
Publicado: (2018)

Security and cryptography for networks: 11th international conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, proceedings
por: Catalano, Dario, et al.
Publicado: (2018)

Machine learning in medical imaging: 9th international workshop, MLMI 2018, held in conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, proceedings
por: Shi, Yinghuan, et al.
Publicado: (2018)

Computer safety, reliability, and security: 37th international conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, proceedings
por: Gallina, Barbara, et al.
Publicado: (2018)

Ad hoc networks: 10th EAI international conference, ADHOCNETS 2018, Cairns, Australia, September 20-23, 2018, proceedings
por: Zheng, Jun, et al.
Publicado: (2018)

Information security practice and experience: 14th international conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, proceedings
por: Su, Chunhua, et al.
Publicado: (2018)

Engineering applications of neural networks: 19th international conference, EANN 2018, Bristol, UK, September 3-5, 2018, proceedings
por: Pimenidis, Elias, et al.
Publicado: (2018)

Information management and big data: 5th international conference, SIMBig 2018, Lima, Peru, September 3-5, 2018, proceedings
por: Lossio-Ventura, Juan Antonio, et al.
Publicado: (2019)

Collaboration and technology: 24th international conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, proceedings
por: Rodrigues, Armanda, et al.
Publicado: (2018)

Cryptology and network security: 17th international conference, CANS 2018, Naples, Italy, September 30 - October 3, 2018, proceedings
por: Camenisch, Jan, et al.
Publicado: (2018)

ICT innovations 2018 engineering and life sciences: 10th international conference, ICT innovations 2018, Ohrid, Macedonia, September 17-19, 2018, proceedings
por: Kalajdziski, Slobodan, et al.
Publicado: (2018)

Formal aspects of component software: 15th international conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, proceedings
por: Bae, Kyungmin, et al.
Publicado: (2018)

Software quality: 10th international conference, SWQD 2018, Vienna, Austria, January 16-19, 2018, proceedings
por: Winkler, Dietmar, et al.
Publicado: (2017)

Computational collective intelligence: 10th international conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, proceedings, part II
por: Nguyen, Ngoc Thanh, et al.
Publicado: (2018)

Computational collective intelligence: 10th international conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, proceedings, part I
por: Nguyen, Ngoc Thanh, et al.
Publicado: (2018)

Verification and evaluation of computer and communication systems: 12th international conference, VECOS 2018, Grenoble, France, September 26-28, 2018, proceedings
por: Atig, Mohamed Faouzi, et al.
Publicado: (2018)

Big data analytics and knowledge discovery: 20th international conference, DAWAK 2018, Regensburg, Germany, September 3-6, 2018, proceedings
por: Ordonez, Carlos, et al.
Publicado: (2018)

Advanced concepts for intelligent vision systems: 19th international conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, proceedings
por: Blanc-Talon, Jacques, et al.
Publicado: (2018)

Advances in computing: 13th Colombian conference, CCC 2018, Cartagena, Colombia, September 26-28, 2018, proceedings
por: Serrano C, Jairo E, et al.
Publicado: (2018)

Intelligence science II: third IFIP TC 12 international conference, ICIS 2018, Beijing, China, November 2-5, 2018, proceedings
por: Shi, Zhongzhi, et al.
Publicado: (2018)

Database and expert systems applications: 29th international conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, proceedings, part II
por: Hartmann, Sven, et al.
Publicado: (2018)

Database and expert systems applications: 29th international conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, proceedings, part I
por: Hartmann, Sven, et al.
Publicado: (2018)

Cognitive radio oriented wireless networks: 13th EAI international conference, CROWNCOM 2018, Ghent, Belgium, September 18-20, 2018, proceedings
por: Moerman, Ingrid, et al.
Publicado: (2019)

Computer information systems and industrial management: 17th international conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, proceedings
por: Saeed, Khalid, et al.
Publicado: (2018)

Data science: 4th international conference of pioneering computer scientists, engineers and educators, ICPCSEE 2018, Zhengzhou, China, September 21-23, 2018, proceedings, part I
por: Zhou, Qinglei, et al.
Publicado: (2018)

Conceptual modeling: 37th international conference, ER 2018, Xi'an, China, October 22-25, 2018, proceedings
por: Trujillo, Juan C, et al.
Publicado: (2018)

EMIS 2018, international conference organised at CERN by the EN and EP department from 16-21 September 2018
por: Lavy, Rachel Tessa, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_n81ttqgc9gio3jmumu7g1f50fj