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, Jiří
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757474
_version_ 1780969944949719040
author Howar, Falk
Barnat, Jiří
author_facet Howar, Falk
Barnat, Jiří
author_sort Howar, Falk
collection CERN
id cern-2757474
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27574742021-04-21T16:41:14Zhttp://cds.cern.ch/record/2757474engHowar, FalkBarnat, JiříFormal methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27574742018
spellingShingle XX
Howar, Falk
Barnat, Jiří
Formal methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings
title Formal methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings
title_full Formal methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings
title_fullStr Formal methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings
title_full_unstemmed Formal methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings
title_short Formal methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings
title_sort formal methods for industrial critical systems: 23rd international conference, fmics 2018, maynooth, ireland, september 3-4, 2018, proceedings
topic XX
url http://cds.cern.ch/record/2757474
work_keys_str_mv AT howarfalk formalmethodsforindustrialcriticalsystems23rdinternationalconferencefmics2018maynoothirelandseptember342018proceedings
AT barnatjiri formalmethodsforindustrialcriticalsystems23rdinternationalconferencefmics2018maynoothirelandseptember342018proceedings

Ejemplares similares