FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
Saved in:
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2011
|
| Subjects: | |
| Online Access: | BTU01 FAB01 FHA01 FHI01 FHN01 FHR01 FKE01 FWS01 FWS02 Volltext |
| Physical Description: | 1 Online-Ressource |
| ISBN: | 9783642142611 |
| DOI: | 10.1007/978-3-642-14261-1 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV040124866 | ||
| 003 | DE-604 | ||
| 005 | 20131220 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 120509s2011 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642142611 |9 978-3-642-14261-1 | ||
| 024 | 7 | |a 10.1007/978-3-642-14261-1 |2 doi | |
| 035 | |a (OCoLC)712205004 | ||
| 035 | |a (DE-599)BVBBV040124866 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-863 |a DE-862 |a DE-634 |a DE-898 |a DE-Aug4 |a DE-92 |a DE-1043 |a DE-859 |a DE-573 | ||
| 245 | 1 | 0 | |a FORMS/FORMAT 2010 |b Formal Methods for Automation and Safety in Railway and Automotive Systems |c edited by Eckehard Schnieder, Geza Tarnai |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2011 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Computer simulation | |
| 650 | 4 | |a Physics | |
| 650 | 4 | |a System safety | |
| 650 | 4 | |a Quality Control, Reliability, Safety and Risk | |
| 650 | 4 | |a Automotive Engineering | |
| 650 | 4 | |a Simulation and Modeling | |
| 650 | 4 | |a Complexity | |
| 700 | 1 | |a Schnieder, Eckehard |d 1949- |e Sonstige |0 (DE-588)133634728 |4 oth | |
| 700 | 1 | |a Tarnai, Geza |e Sonstige |4 oth | |
| 710 | 2 | |a SpringerLink (Online service) |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-14261-1 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-ENG | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024982152 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-642-14261-1 |l BTU01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14261-1 |l FAB01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14261-1 |l FHA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14261-1 |l FHI01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14261-1 |l FHN01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14261-1 |l FHR01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14261-1 |l FKE01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14261-1 |l FWS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14261-1 |l FWS02 |p ZDB-2-ENG |x Verlag |3 Volltext | |
Record in the Search Index
| DE-BY-FWS_katkey | 435692 |
|---|---|
| _version_ | 1824554197897445376 |
| any_adam_object | |
| author_GND | (DE-588)133634728 |
| building | Verbundindex |
| bvnumber | BV040124866 |
| collection | ZDB-2-ENG |
| ctrlnum | (OCoLC)712205004 (DE-599)BVBBV040124866 |
| doi_str_mv | 10.1007/978-3-642-14261-1 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02345nmm a2200529zc 4500</leader><controlfield tag="001">BV040124866</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131220 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">120509s2011 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642142611</subfield><subfield code="9">978-3-642-14261-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-14261-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)712205004</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040124866</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">FORMS/FORMAT 2010</subfield><subfield code="b">Formal Methods for Automation and Safety in Railway and Automotive Systems</subfield><subfield code="c">edited by Eckehard Schnieder, Geza Tarnai</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Physics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System safety</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quality Control, Reliability, Safety and Risk</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automotive Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexity</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schnieder, Eckehard</subfield><subfield code="d">1949-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)133634728</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tarnai, Geza</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">SpringerLink (Online service)</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-14261-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024982152</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14261-1</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14261-1</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14261-1</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14261-1</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14261-1</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14261-1</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14261-1</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14261-1</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14261-1</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV040124866 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-20T06:47:57Z |
| institution | BVB |
| isbn | 9783642142611 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024982152 |
| oclc_num | 712205004 |
| open_access_boolean | |
| owner | DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-634 DE-898 DE-BY-UBR DE-Aug4 DE-92 DE-1043 DE-859 DE-573 |
| owner_facet | DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-634 DE-898 DE-BY-UBR DE-Aug4 DE-92 DE-1043 DE-859 DE-573 |
| physical | 1 Online-Ressource |
| psigel | ZDB-2-ENG |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| spellingShingle | FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems Ingenieurwissenschaften Engineering Computer simulation Physics System safety Quality Control, Reliability, Safety and Risk Automotive Engineering Simulation and Modeling Complexity |
| title | FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems |
| title_auth | FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems |
| title_exact_search | FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems |
| title_full | FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems edited by Eckehard Schnieder, Geza Tarnai |
| title_fullStr | FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems edited by Eckehard Schnieder, Geza Tarnai |
| title_full_unstemmed | FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems edited by Eckehard Schnieder, Geza Tarnai |
| title_short | FORMS/FORMAT 2010 |
| title_sort | forms format 2010 formal methods for automation and safety in railway and automotive systems |
| title_sub | Formal Methods for Automation and Safety in Railway and Automotive Systems |
| topic | Ingenieurwissenschaften Engineering Computer simulation Physics System safety Quality Control, Reliability, Safety and Risk Automotive Engineering Simulation and Modeling Complexity |
| topic_facet | Ingenieurwissenschaften Engineering Computer simulation Physics System safety Quality Control, Reliability, Safety and Risk Automotive Engineering Simulation and Modeling Complexity |
| url | https://doi.org/10.1007/978-3-642-14261-1 |
| work_keys_str_mv | AT schniedereckehard formsformat2010formalmethodsforautomationandsafetyinrailwayandautomotivesystems AT tarnaigeza formsformat2010formalmethodsforautomationandsafetyinrailwayandautomotivesystems AT springerlinkonlineservice formsformat2010formalmethodsforautomationandsafetyinrailwayandautomotivesystems |