Formal techniques for safety-critical systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2017]
|
| Schriftenreihe: | Communications in Computer and Information Science
694 |
| Schlagworte: | |
| Online-Zugang: | BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext |
| Beschreibung: | 1 Online-Ressource (XII, 161 Seiten, 40 illus) |
| ISBN: | 9783319539461 |
| ISSN: | 1865-0929 |
| DOI: | 10.1007/978-3-319-53946-1 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044206050 | ||
| 003 | DE-604 | ||
| 005 | 20211228 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170302s2017 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319539461 |c Online |9 978-3-319-53946-1 | ||
| 024 | 7 | |a 10.1007/978-3-319-53946-1 |2 doi | |
| 035 | |a (OCoLC)975053183 | ||
| 035 | |a (DE-599)BVBBV044206050 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-860 |a DE-Aug4 |a DE-898 |a DE-861 |a DE-523 |a DE-859 |a DE-473 |a DE-29 |a DE-863 |a DE-20 |a DE-862 |a DE-92 |a DE-573 |a DE-M347 |a DE-703 |a DE-706 |a DE-739 |a DE-634 |a DE-188 |a DE-19 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 111 | 2 | |a FTSCS |n 5. |d 2016 |c Tokio |j Verfasser |0 (DE-588)1126529923 |4 aut | |
| 245 | 1 | 0 | |a Formal techniques for safety-critical systems |b 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers |c Cyrille Artho, Peter Csaba Ölveczky (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2017] | |
| 300 | |a 1 Online-Ressource (XII, 161 Seiten, 40 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Communications in computer and information science |v 694 |x 1865-0929 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer simulation | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Simulation and Modeling | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Informatik | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2016 |z Tokio |2 gnd-content | |
| 700 | 1 | |a Artho, Cyrille |d 1976- |0 (DE-588)130875279 |4 edt | |
| 700 | 1 | |a Ölveczky, Peter Csaba |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783319539454 |
| 830 | 0 | |a Communications in Computer and Information Science |v 694 |w (DE-604)BV041227480 |9 694 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-53946-1 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2017 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029612444 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l FHA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l FHI01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l FHN01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l FHR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l FKE01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l FLA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l FRO01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l FWS01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l FWS02 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l HTW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l UBM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l UBT01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l UBW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l UBY01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l UER01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-53946-1 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 639081 |
|---|---|
| _version_ | 1806180890072580096 |
| any_adam_object | |
| author2 | Artho, Cyrille 1976- Ölveczky, Peter Csaba |
| author2_role | edt edt |
| author2_variant | c a ca p c ö pc pcö |
| author_GND | (DE-588)130875279 |
| author_corporate | FTSCS Tokio |
| author_corporate_role | aut |
| author_facet | Artho, Cyrille 1976- Ölveczky, Peter Csaba FTSCS Tokio |
| author_sort | FTSCS Tokio |
| building | Verbundindex |
| bvnumber | BV044206050 |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)975053183 (DE-599)BVBBV044206050 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-53946-1 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04142nmm a2200793zcb4500</leader><controlfield tag="001">BV044206050</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211228 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170302s2017 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319539461</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-53946-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-53946-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)975053183</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044206050</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-355</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FTSCS</subfield><subfield code="n">5.</subfield><subfield code="d">2016</subfield><subfield code="c">Tokio</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1126529923</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques for safety-critical systems</subfield><subfield code="b">5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers</subfield><subfield code="c">Cyrille Artho, Peter Csaba Ölveczky (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">1 Online-Ressource (XII, 161 Seiten, 40 illus)</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="490" ind1="1" ind2=" "><subfield code="a">Communications in computer and information science</subfield><subfield code="v">694</subfield><subfield code="x">1865-0929</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</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">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2016</subfield><subfield code="z">Tokio</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Artho, Cyrille</subfield><subfield code="d">1976-</subfield><subfield code="0">(DE-588)130875279</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ölveczky, Peter Csaba</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783319539454</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Communications in Computer and Information Science</subfield><subfield code="v">694</subfield><subfield code="w">(DE-604)BV041227480</subfield><subfield code="9">694</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-53946-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2017</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029612444</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-53946-1</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SCS</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-319-53946-1</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2016 Tokio gnd-content |
| genre_facet | Konferenzschrift 2016 Tokio |
| id | DE-604.BV044206050 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-01T12:32:05Z |
| institution | BVB |
| institution_GND | (DE-588)1126529923 |
| isbn | 9783319539461 |
| issn | 1865-0929 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029612444 |
| oclc_num | 975053183 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-860 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-188 DE-19 DE-BY-UBM |
| owner_facet | DE-355 DE-BY-UBR DE-860 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-188 DE-19 DE-BY-UBM |
| physical | 1 Online-Ressource (XII, 161 Seiten, 40 illus) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2017 |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Communications in Computer and Information Science |
| series2 | Communications in computer and information science |
| spellingShingle | Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers Communications in Computer and Information Science Computer science Software engineering Programming languages (Electronic computers) Computers Computer logic Computer simulation Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Computation by Abstract Devices Informatik |
| subject_GND | (DE-588)1071861417 |
| title | Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers |
| title_auth | Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers |
| title_exact_search | Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers |
| title_full | Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers Cyrille Artho, Peter Csaba Ölveczky (eds.) |
| title_fullStr | Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers Cyrille Artho, Peter Csaba Ölveczky (eds.) |
| title_full_unstemmed | Formal techniques for safety-critical systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers Cyrille Artho, Peter Csaba Ölveczky (eds.) |
| title_short | Formal techniques for safety-critical systems |
| title_sort | formal techniques for safety critical systems 5th international workshop ftscs 2016 tokyo japan november 14 2016 revised selected papers |
| title_sub | 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers |
| topic | Computer science Software engineering Programming languages (Electronic computers) Computers Computer logic Computer simulation Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Computation by Abstract Devices Informatik |
| topic_facet | Computer science Software engineering Programming languages (Electronic computers) Computers Computer logic Computer simulation Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Computation by Abstract Devices Informatik Konferenzschrift 2016 Tokio |
| url | https://doi.org/10.1007/978-3-319-53946-1 |
| volume_link | (DE-604)BV041227480 |
| work_keys_str_mv | AT ftscstokio formaltechniquesforsafetycriticalsystems5thinternationalworkshopftscs2016tokyojapannovember142016revisedselectedpapers AT arthocyrille formaltechniquesforsafetycriticalsystems5thinternationalworkshopftscs2016tokyojapannovember142016revisedselectedpapers AT olveczkypetercsaba formaltechniquesforsafetycriticalsystems5thinternationalworkshopftscs2016tokyojapannovember142016revisedselectedpapers |