Cargando…

Formal methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Howar, Falk, Barnat, Jiří
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757474

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)

Formal methods for industrial critical systems: 20th international workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 proceedings
por: Güdemann, Matthias, et al.
Publicado: (2015)

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)

ECML PKDD 2018 workshops: MIDAS 2018 and PAP 2018, Dublin, Ireland, September 10-14, 2018, proceedings
por: Alzate, Carlos, et al.
Publicado: (2019)

ECML PKDD 2018 workshops: Nemesis 2018, UrbReas 2018, Sogood 2018, IWAISe 2018, and Green Data Mining 2018, Dublin, Ireland, September 10-14, 2018, proceedings
por: Alzate, Carlos, et al.
Publicado: (2019)

Formal modeling and analysis of timed systems: 16th international conference, FORMATS 2018, Beijing, China, September 4-6, 2018, proceedings
por: Jansen, David N, et al.
Publicado: (2018)

Computer security: 23rd European symposium on research in computer security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, proceedings, part II
por: Lopez, Javier, et al.
Publicado: (2018)

Computer security: 23rd European symposium on research in computer security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, proceedings, part I
por: Lopez, Javier, et al.
Publicado: (2018)

Multiple access communications: 5th international workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012, proceedings
por: Bellalta, Boris, et al.
Publicado: (2012)

Machine learning and knowledge discovery in databases: European conference, ECML PKDD 2018, Dublin, Ireland, September 10-14, 2018, proceedings, part III
por: Brefeld, Ulf, et al.
Publicado: (2019)

Machine learning and knowledge discovery in databases: European conference, ECML PKDD 2018, Dublin, Ireland, September 10-14, 2018, proceedings, part II
por: Berlingerio, Michele, et al.
Publicado: (2019)

Machine learning and knowledge discovery in databases: European conference, ECML PKDD 2018, Dublin, Ireland, September 10-14, 2018, proceedings, part I
por: Berlingerio, Michele, et al.
Publicado: (2019)

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

23(rd) Interdisciplinary Toxicological Conference TOXCON 2018
Publicado: (2018)

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)

Implementation and application of automata: 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018, proceedings
por: Câmpeanu, Cezar
Publicado: (2018)

Graph-based representation and reasoning: 23rd international conference on conceptual structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, proceedings
por: Chapman, Peter, et al.
Publicado: (2018)

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)

Machine learning and data mining for sports analytics: 5th international workshop, MLSA 2018, co-located with ECML/PKDD 2018, Dublin, Ireland, September 10, 2018, proceedings
por: Brefeld, Ulf, et al.
Publicado: (2019)

Selected Abstracts from the 3rd European Hereditary Tumour Group Meeting (EHTG 2018): Nice, France. 23-25 September 2018
Publicado: (2019)

ECML PKDD 2018 workshops: DMLE 2018 and IoTStream 2018, Dublin, Ireland, September 10-14, 2018, revised selected papers
por: Monreale, Anna, et al.
Publicado: (2019)

KI 2018: 41st German conference on AI, Berlin, Germany, September 24-28, 2018, proceedings
por: Trollmann, Frank, et al.
Publicado: (2018)

Enterprise, business-process and information systems modeling: 19th international conference, BPMDS 2018, 23rd international conference, EMMSAD 2018, held at CAISE 2018, Tallinn, Estonia, June 11-12, 2018, proceedings
por: Gulden, Jens, et al.
Publicado: (2018)

The mathematics education for the future project: proceedings of the 15th international conference : theory and practice : an interface or a great divide? 4-9 Aug, 2019, Maynooth University, Kildare, Ireland
por: Rogerson, Alan, et al.
Publicado: (2019)

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)

Advances in computing: 13th Colombian conference, CCC 2018, Cartagena, Colombia, September 26-28, 2018, proceedings
por: Serrano C, Jairo E, 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)

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

Database systems for advanced applications: 23rd international conference, DASFAA 2018, Gold Coast, QLD, Australia, May 21-24, 2018, proceedings, part II
por: Pei, Jian, et al.
Publicado: (2018)

Database systems for advanced applications: 23rd international conference, DASFAA 2018, Gold Coast, QLD, Australia, May 21-24, 2018, proceedings, part I
por: Pei, Jian, 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)

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

Developments in language theory: 22nd international conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, proceedings
por: Hoshi, Mizuho, et al.
Publicado: (2018)

Reliable software technologies - ADA-Europe 2018: 23rd ADA-Europe international conference on reliable software technologies, Lisbon, Portugal, June 18-22, 2018, proceedings
por: Casimiro, António, 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)

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)

Theory and practice of natural computing: 7th international conference, TPNC 2018, Dublin, Ireland, December 12-14, 2018, proceedings
por: Fagan, David, et al.
Publicado: (2018)

ICT systems security and privacy protection: 33rd IFIP TC 11 international conference, SEC 2018, held at the 24th IFIP world computer congress, WCC 2018, Poznan, Poland, September 18-20, 2018, proceedings
por: Janczewski, Lech Jan, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_7tc1050i5tu6vm04jb8p44a6q5