Critical systems: formal methods and automated verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2016]
|
| Schriftenreihe: | Lecture notes in computer science
9933 |
| Schlagworte: | |
| Beschreibung: | XVI, 245 Seiten Diagramme |
| ISBN: | 9783319459424 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV043818844 | ||
| 003 | DE-604 | ||
| 005 | 20161019 | ||
| 007 | t | ||
| 008 | 161010s2016 |||| |||| 10||| eng d | ||
| 020 | |a 9783319459424 |9 978-3-319-45942-4 | ||
| 035 | |a (OCoLC)961697205 | ||
| 035 | |a (DE-599)BVBBV043818844 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 245 | 1 | 0 | |a Critical systems: formal methods and automated verification |b Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 ; proceedings |c Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a XVI, 245 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 9933 | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Beek, Maurice H. ter |d 1972- |0 (DE-588)1034498622 |4 edt | |
| 711 | 2 | |a FMICS-AVoCS |d 2016 |c Pisa |j Sonstige |0 (DE-588)1116453010 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-45943-1 |
| 830 | 0 | |a Lecture notes in computer science |v 9933 |w (DE-604)BV000000607 |9 9933 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029229896 | ||
Datensatz im Suchindex
| _version_ | 1804176673134870528 |
|---|---|
| any_adam_object | |
| author2 | Beek, Maurice H. ter 1972- |
| author2_role | edt |
| author2_variant | m h t b mht mhtb |
| author_GND | (DE-588)1034498622 |
| author_facet | Beek, Maurice H. ter 1972- |
| building | Verbundindex |
| bvnumber | BV043818844 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)961697205 (DE-599)BVBBV043818844 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01445nam a2200337 cb4500</leader><controlfield tag="001">BV043818844</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161019 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">161010s2016 |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319459424</subfield><subfield code="9">978-3-319-45942-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)961697205</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043818844</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="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Critical systems: formal methods and automated verification</subfield><subfield code="b">Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 ; proceedings</subfield><subfield code="c">Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 245 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">9933</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="700" ind1="1" ind2=" "><subfield code="a">Beek, Maurice H. ter</subfield><subfield code="d">1972-</subfield><subfield code="0">(DE-588)1034498622</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMICS-AVoCS</subfield><subfield code="d">2016</subfield><subfield code="c">Pisa</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1116453010</subfield><subfield code="4">oth</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-45943-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9933</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9933</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029229896</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043818844 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:35:55Z |
| institution | BVB |
| institution_GND | (DE-588)1116453010 |
| isbn | 9783319459424 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029229896 |
| oclc_num | 961697205 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XVI, 245 Seiten Diagramme |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Critical systems: formal methods and automated verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 ; proceedings Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.) Cham Springer [2016] © 2016 XVI, 245 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 9933 (DE-588)1071861417 Konferenzschrift gnd-content Beek, Maurice H. ter 1972- (DE-588)1034498622 edt FMICS-AVoCS 2016 Pisa Sonstige (DE-588)1116453010 oth Erscheint auch als Online-Ausgabe 978-3-319-45943-1 Lecture notes in computer science 9933 (DE-604)BV000000607 9933 |
| spellingShingle | Critical systems: formal methods and automated verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 ; proceedings Lecture notes in computer science |
| subject_GND | (DE-588)1071861417 |
| title | Critical systems: formal methods and automated verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 ; proceedings |
| title_auth | Critical systems: formal methods and automated verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 ; proceedings |
| title_exact_search | Critical systems: formal methods and automated verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 ; proceedings |
| title_full | Critical systems: formal methods and automated verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 ; proceedings Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.) |
| title_fullStr | Critical systems: formal methods and automated verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 ; proceedings Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.) |
| title_full_unstemmed | Critical systems: formal methods and automated verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 ; proceedings Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.) |
| title_short | Critical systems: formal methods and automated verification |
| title_sort | critical systems formal methods and automated verification joint 21st international workshop on formal methods for industrial critical systems and 16th international workshop on automated verification of critical systems fmics avocs 2016 pisa italy september 26 28 2016 proceedings |
| title_sub | Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 ; proceedings |
| topic_facet | Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT beekmauricehter criticalsystemsformalmethodsandautomatedverificationjoint21stinternationalworkshoponformalmethodsforindustrialcriticalsystemsand16thinternationalworkshoponautomatedverificationofcriticalsystemsfmicsavocs2016pisaitalyseptember26282016proceedings AT fmicsavocspisa criticalsystemsformalmethodsandautomatedverificationjoint21stinternationalworkshoponformalmethodsforindustrialcriticalsystemsand16thinternationalworkshoponautomatedverificationofcriticalsystemsfmicsavocs2016pisaitalyseptember26282016proceedings |