Formal techniques for safety-critical systems: third international workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 revised selected papers

Detalles Bibliográficos
Autores principales: Artho, Cyrille, Ölveczky, Peter Csaba
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756775
_version_ 1780969823141888000
author Artho, Cyrille
Ölveczky, Peter Csaba
author_facet Artho, Cyrille
Ölveczky, Peter Csaba
author_sort Artho, Cyrille
collection CERN
id cern-2756775
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Springer International Publishing AG
record_format invenio
spelling cern-27567752021-04-21T16:41:42Zhttp://cds.cern.ch/record/2756775engArtho, CyrilleÖlveczky, Peter CsabaFormal techniques for safety-critical systems: third international workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27567752015
spellingShingle XX
Artho, Cyrille
Ölveczky, Peter Csaba
Formal techniques for safety-critical systems: third international workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 revised selected papers
title Formal techniques for safety-critical systems: third international workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 revised selected papers
title_full Formal techniques for safety-critical systems: third international workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 revised selected papers
title_fullStr Formal techniques for safety-critical systems: third international workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 revised selected papers
title_full_unstemmed Formal techniques for safety-critical systems: third international workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 revised selected papers
title_short Formal techniques for safety-critical systems: third international workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 revised selected papers
title_sort formal techniques for safety-critical systems: third international workshop, ftscs 2014, luxembourg, november 6-7, 2014 revised selected papers
topic XX
url http://cds.cern.ch/record/2756775
work_keys_str_mv AT arthocyrille formaltechniquesforsafetycriticalsystemsthirdinternationalworkshopftscs2014luxembourgnovember672014revisedselectedpapers
AT olveczkypetercsaba formaltechniquesforsafetycriticalsystemsthirdinternationalworkshopftscs2014luxembourgnovember672014revisedselectedpapers

Ejemplares similares