Cargando…
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
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer International Publishing AG
2017
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2754471 |
| _version_ | 1780969428631945216 |
|---|---|
| author | Petrucci, Laure Seceleanu, Cristina Cavalcanti, Ana |
| author_facet | Petrucci, Laure Seceleanu, Cristina Cavalcanti, Ana |
| author_sort | Petrucci, Laure |
| collection | CERN |
| id | cern-2754471 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2017 |
| publisher | Springer International Publishing AG |
| record_format | invenio |
| spelling | cern-27544712021-04-21T16:43:22Zhttp://cds.cern.ch/record/2754471engPetrucci, LaureSeceleanu, CristinaCavalcanti, AnaCritical 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, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27544712017 |
| spellingShingle | XX Petrucci, Laure Seceleanu, Cristina Cavalcanti, Ana 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 |
| title | 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 |
| title_full | 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 |
| title_fullStr | 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 |
| title_full_unstemmed | 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 |
| title_short | 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 |
| title_sort | 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 |
| topic | XX |
| url | http://cds.cern.ch/record/2754471 |
| work_keys_str_mv | AT petruccilaure criticalsystemsjoint22ndinternationalworkshoponformalmethodsforindustrialcriticalsystemsand17thinternationalworkshoponautomatedverificationofcriticalsystemsfmicsavocs2017turinitalyseptember18202017proceedings AT seceleanucristina criticalsystemsjoint22ndinternationalworkshoponformalmethodsforindustrialcriticalsystemsand17thinternationalworkshoponautomatedverificationofcriticalsystemsfmicsavocs2017turinitalyseptember18202017proceedings AT cavalcantiana criticalsystemsjoint22ndinternationalworkshoponformalmethodsforindustrialcriticalsystemsand17thinternationalworkshoponautomatedverificationofcriticalsystemsfmicsavocs2017turinitalyseptember18202017proceedings |