Critical systems: formal methods and automated verification: 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
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2017]
|
| Schriftenreihe: | Lecture notes in computer science
10471 |
| Schlagworte: | |
| Beschreibung: | XIV, 233 Seiten Diagramme |
| ISBN: | 9783319671123 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV044526954 | ||
| 003 | DE-604 | ||
| 005 | 20181001 | ||
| 007 | t| | ||
| 008 | 171009s2017 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783319671123 |9 978-3-319-67112-3 | ||
| 035 | |a (OCoLC)1005741124 | ||
| 035 | |a (DE-599)BVBBV044526954 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a FMICS-AVoCS |d 2017 |c Turin |j Verfasser |0 (DE-588)1140601881 |4 aut | |
| 245 | 1 | 0 | |a Critical systems: formal methods and automated verification |b 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 |c Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2017] | |
| 300 | |a XIV, 233 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 10471 | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemanalyse |0 (DE-588)4116673-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwurf |0 (DE-588)4261480-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 2 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 0 | 3 | |a Systementwurf |0 (DE-588)4261480-6 |D s |
| 689 | 0 | 4 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 5 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Petrucci, Laure |0 (DE-588)171357833 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-67113-0 |
| 830 | 0 | |a Lecture notes in computer science |v 10471 |w (DE-604)BV000000607 |9 10471 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029926330 | |
Datensatz im Suchindex
| _version_ | 1820875696198647808 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Petrucci, Laure |
| author2_role | edt |
| author2_variant | l p lp |
| author_GND | (DE-588)171357833 |
| author_corporate | FMICS-AVoCS Turin |
| author_corporate_role | aut |
| author_facet | Petrucci, Laure FMICS-AVoCS Turin |
| author_sort | FMICS-AVoCS Turin |
| building | Verbundindex |
| bvnumber | BV044526954 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1005741124 (DE-599)BVBBV044526954 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV044526954</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181001</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">171009s2017 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319671123</subfield><subfield code="9">978-3-319-67112-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1005741124</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044526954</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FMICS-AVoCS</subfield><subfield code="d">2017</subfield><subfield code="c">Turin</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1140601881</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Critical systems: formal methods and automated verification</subfield><subfield code="b">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</subfield><subfield code="c">Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 233 Seiten</subfield><subfield code="b">Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10471</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Petrucci, Laure</subfield><subfield code="0">(DE-588)171357833</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-67113-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10471</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10471</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029926330</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044526954 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:19:44Z |
| institution | BVB |
| institution_GND | (DE-588)1140601881 |
| isbn | 9783319671123 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029926330 |
| oclc_num | 1005741124 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XIV, 233 Seiten Diagramme |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | FMICS-AVoCS 2017 Turin Verfasser (DE-588)1140601881 aut Critical systems: formal methods and automated verification 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 Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.) Cham Springer [2017] XIV, 233 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10471 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Sicherheitskritisches System (DE-588)4767762-4 s Formale Methode (DE-588)4333722-3 s Systemanalyse (DE-588)4116673-5 s Systementwurf (DE-588)4261480-6 s Softwareentwicklung (DE-588)4116522-6 s Verifikation (DE-588)4135577-5 s DE-604 Petrucci, Laure (DE-588)171357833 edt Erscheint auch als Online-Ausgabe 978-3-319-67113-0 Lecture notes in computer science 10471 (DE-604)BV000000607 10471 |
| spellingShingle | Critical systems: formal methods and automated verification 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 Lecture notes in computer science Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Systemanalyse (DE-588)4116673-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4333722-3 (DE-588)4116673-5 (DE-588)4767762-4 (DE-588)4135577-5 (DE-588)4261480-6 (DE-588)1071861417 |
| title | Critical systems: formal methods and automated verification 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_auth | Critical systems: formal methods and automated verification 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_exact_search | Critical systems: formal methods and automated verification 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: formal methods and automated verification 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 Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.) |
| title_fullStr | Critical systems: formal methods and automated verification 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 Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.) |
| title_full_unstemmed | Critical systems: formal methods and automated verification 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 Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.) |
| title_short | Critical systems: formal methods and automated verification |
| title_sort | critical systems formal methods and automated verification 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_sub | 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 | Softwareentwicklung (DE-588)4116522-6 gnd Formale Methode (DE-588)4333722-3 gnd Systemanalyse (DE-588)4116673-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Systementwurf (DE-588)4261480-6 gnd |
| topic_facet | Softwareentwicklung Formale Methode Systemanalyse Sicherheitskritisches System Verifikation Systementwurf Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fmicsavocsturin criticalsystemsformalmethodsandautomatedverificationjoint22ndinternationalworkshoponformalmethodsforindustrialcriticalsystemsand17thinternationalworkshoponautomatedverificationofcriticalsystemsfmicsavocs2017turinitalyseptember18202017proceedings AT petruccilaure criticalsystemsformalmethodsandautomatedverificationjoint22ndinternationalworkshoponformalmethodsforindustrialcriticalsystemsand17thinternationalworkshoponautomatedverificationofcriticalsystemsfmicsavocs2017turinitalyseptember18202017proceedings |