Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Gespeichert in:
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046705795 | ||
| 003 | DE-604 | ||
| 005 | 20210507 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 200506s2020 xx o|||| 00||| eng d | ||
| 020 | |a 9783030469023 |c Online |9 978-3-030-46902-3 | ||
| 024 | 7 | |a 10.1007/978-3-030-46902-3 |2 doi | |
| 035 | |a (ZDB-2-SCS)9783030469023 | ||
| 035 | |a (OCoLC)1153979562 | ||
| 035 | |a (DE-599)BVBBV046705795 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-573 |a DE-860 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-861 |a DE-188 |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-355 |a DE-M347 |a DE-703 |a DE-706 |a DE-739 |a DE-634 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 245 | 1 | 0 | |a Formal Techniques for Safety-Critical Systems |b 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers |c edited by Osman Hasan, Frédéric Mallet |
| 250 | |a 1st ed. 2020 | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c 2020 | |
| 264 | 1 | |a Cham |b Springer | |
| 300 | |a 1 Online-Ressource (VIII, 141 p. 81 illus., 23 illus. in color) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Communications in Computer and Information Science |v 1165 |x 1865-0929 | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Logic in AI. | |
| 650 | 4 | |a Special Purpose and Application-Based Systems | |
| 650 | 4 | |a Control Structures and Microprogramming | |
| 650 | 4 | |a Simulation and Modeling | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer communication systems | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Special purpose computers | |
| 650 | 4 | |a Microprogramming | |
| 650 | 4 | |a Computer simulation | |
| 650 | 0 | 7 | |a Mikroprogrammierung |0 (DE-588)4039231-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computersimulation |0 (DE-588)4148259-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Mikroprogrammierung |0 (DE-588)4039231-4 |D s |
| 689 | 0 | 2 | |a Computersimulation |0 (DE-588)4148259-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Hasan, Osman |4 edt | |
| 700 | 1 | |a Mallet, Frédéric |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-46901-6 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-46903-0 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-030-46902-3 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2020_Fremddaten | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032116258 | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-634 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-Aug4 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-573 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-M347 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-92 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-898 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-859 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-860 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-861 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-863 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-862 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-523 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-473 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-19 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-355 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-703 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-20 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-706 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-29 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46902-3 |l DE-739 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1818986935629119488 |
|---|---|
| any_adam_object | |
| author2 | Hasan, Osman Mallet, Frédéric |
| author2_role | edt edt |
| author2_variant | o h oh f m fm |
| author_facet | Hasan, Osman Mallet, Frédéric |
| building | Verbundindex |
| bvnumber | BV046705795 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)9783030469023 (OCoLC)1153979562 (DE-599)BVBBV046705795 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-030-46902-3 |
| edition | 1st ed. 2020 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04521nam a2200877zcb4500</leader><controlfield tag="001">BV046705795</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210507 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">200506s2020 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030469023</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-46902-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-46902-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030469023</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1153979562</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046705795</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-573</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-188</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-355</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></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal Techniques for Safety-Critical Systems</subfield><subfield code="b">7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers</subfield><subfield code="c">edited by Osman Hasan, Frédéric Mallet</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2020</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2020</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 141 p. 81 illus., 23 illus. in color)</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="0" ind2=" "><subfield code="a">Communications in Computer and Information Science</subfield><subfield code="v">1165</subfield><subfield code="x">1865-0929</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic in AI.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special Purpose and Application-Based Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Control Structures and Microprogramming</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">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer communication systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special purpose computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprogramming </subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mikroprogrammierung</subfield><subfield code="0">(DE-588)4039231-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mikroprogrammierung</subfield><subfield code="0">(DE-588)4039231-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</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">Hasan, Osman</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mallet, Frédéric</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">978-3-030-46901-6</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">978-3-030-46903-0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-46902-3</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</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_2020_Fremddaten</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032116258</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-46902-3</subfield><subfield code="l">DE-634</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-030-46902-3</subfield><subfield code="l">DE-Aug4</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-030-46902-3</subfield><subfield code="l">DE-573</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-030-46902-3</subfield><subfield code="l">DE-M347</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-030-46902-3</subfield><subfield code="l">DE-92</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-030-46902-3</subfield><subfield code="l">DE-898</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-030-46902-3</subfield><subfield code="l">DE-859</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-030-46902-3</subfield><subfield code="l">DE-860</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-030-46902-3</subfield><subfield code="l">DE-861</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-030-46902-3</subfield><subfield code="l">DE-863</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-030-46902-3</subfield><subfield code="l">DE-862</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-030-46902-3</subfield><subfield code="l">DE-523</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-030-46902-3</subfield><subfield code="l">DE-473</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-030-46902-3</subfield><subfield code="l">DE-19</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-030-46902-3</subfield><subfield code="l">DE-355</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-030-46902-3</subfield><subfield code="l">DE-703</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-030-46902-3</subfield><subfield code="l">DE-20</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-030-46902-3</subfield><subfield code="l">DE-706</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-030-46902-3</subfield><subfield code="l">DE-29</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-030-46902-3</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV046705795 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T18:58:42Z |
| institution | BVB |
| isbn | 9783030469023 |
| issn | 1865-0929 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032116258 |
| oclc_num | 1153979562 |
| open_access_boolean | |
| owner | DE-573 DE-860 DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 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-355 DE-BY-UBR DE-M347 DE-703 DE-706 DE-739 DE-634 |
| owner_facet | DE-573 DE-860 DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 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-355 DE-BY-UBR DE-M347 DE-703 DE-706 DE-739 DE-634 |
| physical | 1 Online-Ressource (VIII, 141 p. 81 illus., 23 illus. in color) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2020_Fremddaten |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer International Publishing Springer |
| record_format | marc |
| series2 | Communications in Computer and Information Science |
| spelling | Formal Techniques for Safety-Critical Systems 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers edited by Osman Hasan, Frédéric Mallet 1st ed. 2020 Cham Springer International Publishing 2020 Cham Springer 1 Online-Ressource (VIII, 141 p. 81 illus., 23 illus. in color) txt rdacontent c rdamedia cr rdacarrier Communications in Computer and Information Science 1165 1865-0929 Theory of Computation Computer Communication Networks Logic in AI. Special Purpose and Application-Based Systems Control Structures and Microprogramming Simulation and Modeling Computers Computer communication systems Artificial intelligence Computer logic Special purpose computers Microprogramming Computer simulation Mikroprogrammierung (DE-588)4039231-4 gnd rswk-swf Computersimulation (DE-588)4148259-1 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 s Mikroprogrammierung (DE-588)4039231-4 s Computersimulation (DE-588)4148259-1 s DE-604 Hasan, Osman edt Mallet, Frédéric edt Erscheint auch als Druck-Ausgabe 978-3-030-46901-6 Erscheint auch als Druck-Ausgabe 978-3-030-46903-0 https://doi.org/10.1007/978-3-030-46902-3 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Formal Techniques for Safety-Critical Systems 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers Theory of Computation Computer Communication Networks Logic in AI. Special Purpose and Application-Based Systems Control Structures and Microprogramming Simulation and Modeling Computers Computer communication systems Artificial intelligence Computer logic Special purpose computers Microprogramming Computer simulation Mikroprogrammierung (DE-588)4039231-4 gnd Computersimulation (DE-588)4148259-1 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4039231-4 (DE-588)4148259-1 (DE-588)4033447-8 |
| title | Formal Techniques for Safety-Critical Systems 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers |
| title_auth | Formal Techniques for Safety-Critical Systems 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers |
| title_exact_search | Formal Techniques for Safety-Critical Systems 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers |
| title_full | Formal Techniques for Safety-Critical Systems 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers edited by Osman Hasan, Frédéric Mallet |
| title_fullStr | Formal Techniques for Safety-Critical Systems 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers edited by Osman Hasan, Frédéric Mallet |
| title_full_unstemmed | Formal Techniques for Safety-Critical Systems 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers edited by Osman Hasan, Frédéric Mallet |
| title_short | Formal Techniques for Safety-Critical Systems |
| title_sort | formal techniques for safety critical systems 7th international workshop ftscs 2019 shenzhen china november 9 2019 revised selected papers |
| title_sub | 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers |
| topic | Theory of Computation Computer Communication Networks Logic in AI. Special Purpose and Application-Based Systems Control Structures and Microprogramming Simulation and Modeling Computers Computer communication systems Artificial intelligence Computer logic Special purpose computers Microprogramming Computer simulation Mikroprogrammierung (DE-588)4039231-4 gnd Computersimulation (DE-588)4148259-1 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Theory of Computation Computer Communication Networks Logic in AI. Special Purpose and Application-Based Systems Control Structures and Microprogramming Simulation and Modeling Computers Computer communication systems Artificial intelligence Computer logic Special purpose computers Microprogramming Computer simulation Mikroprogrammierung Computersimulation Künstliche Intelligenz |
| url | https://doi.org/10.1007/978-3-030-46902-3 |
| work_keys_str_mv | AT hasanosman formaltechniquesforsafetycriticalsystems7thinternationalworkshopftscs2019shenzhenchinanovember92019revisedselectedpapers AT malletfrederic formaltechniquesforsafetycriticalsystems7thinternationalworkshopftscs2019shenzhenchinanovember92019revisedselectedpapers |