Engineering safe and secure cyber-physical systems: the specification PEARL approach
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
[Cham]
Springer
[2016]
|
Schriftenreihe: | Studies in Computational Intelligence
volume 632 |
Schlagworte: | |
Beschreibung: | xiii, 128 Seiten Illustrationen |
ISBN: | 9783319289038 |
ISSN: | 1860-949X |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV043409379 | ||
003 | DE-604 | ||
005 | 20160301 | ||
007 | t | ||
008 | 160225s2016 a||| |||| 00||| eng d | ||
020 | |a 9783319289038 |c hbk |9 978-3-319-28903-8 | ||
035 | |a (OCoLC)959935047 | ||
035 | |a (DE-599)BVBBV043409379 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-11 | ||
082 | 0 | |a 006.3 |2 23 | |
084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
100 | 1 | |a Gumzej, Roman |e Verfasser |0 (DE-588)108463919X |4 aut | |
245 | 1 | 0 | |a Engineering safe and secure cyber-physical systems |b the specification PEARL approach |c Roman Gumzej |
264 | 1 | |a [Cham] |b Springer |c [2016] | |
264 | 4 | |c © 2016 | |
300 | |a xiii, 128 Seiten |b Illustrationen | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Studies in Computational Intelligence |v volume 632 |x 1860-949X | |
650 | 4 | |a Engineering | |
650 | 4 | |a Artificial intelligence | |
650 | 4 | |a Computational intelligence | |
650 | 4 | |a Quality control | |
650 | 4 | |a Reliability | |
650 | 4 | |a Industrial safety | |
650 | 4 | |a Electronic circuits | |
650 | 4 | |a Computational Intelligence | |
650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
650 | 4 | |a Circuits and Systems | |
650 | 4 | |a Quality Control, Reliability, Safety and Risk | |
650 | 4 | |a Ingenieurwissenschaften | |
650 | 4 | |a Künstliche Intelligenz | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-28905-2 |
830 | 0 | |a Studies in Computational Intelligence |v volume 632 |w (DE-604)BV020822171 |9 632 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-028827704 |
Datensatz im Suchindex
_version_ | 1804175998052204544 |
---|---|
any_adam_object | |
author | Gumzej, Roman |
author_GND | (DE-588)108463919X |
author_facet | Gumzej, Roman |
author_role | aut |
author_sort | Gumzej, Roman |
author_variant | r g rg |
building | Verbundindex |
bvnumber | BV043409379 |
classification_rvk | ST 300 |
ctrlnum | (OCoLC)959935047 (DE-599)BVBBV043409379 |
dewey-full | 006.3 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 006 - Special computer methods |
dewey-raw | 006.3 |
dewey-search | 006.3 |
dewey-sort | 16.3 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01636nam a2200481 cb4500</leader><controlfield tag="001">BV043409379</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160301 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160225s2016 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319289038</subfield><subfield code="c">hbk</subfield><subfield code="9">978-3-319-28903-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)959935047</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043409379</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-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gumzej, Roman</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)108463919X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Engineering safe and secure cyber-physical systems</subfield><subfield code="b">the specification PEARL approach</subfield><subfield code="c">Roman Gumzej</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">xiii, 128 Seiten</subfield><subfield code="b">Illustrationen</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">Studies in Computational Intelligence</subfield><subfield code="v">volume 632</subfield><subfield code="x">1860-949X</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quality control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reliability</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Industrial safety</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic circuits</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits and Systems</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">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</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-28905-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in Computational Intelligence</subfield><subfield code="v">volume 632</subfield><subfield code="w">(DE-604)BV020822171</subfield><subfield code="9">632</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028827704</subfield></datafield></record></collection> |
id | DE-604.BV043409379 |
illustrated | Illustrated |
indexdate | 2024-07-10T07:25:11Z |
institution | BVB |
isbn | 9783319289038 |
issn | 1860-949X |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028827704 |
oclc_num | 959935047 |
open_access_boolean | |
owner | DE-11 |
owner_facet | DE-11 |
physical | xiii, 128 Seiten Illustrationen |
publishDate | 2016 |
publishDateSearch | 2016 |
publishDateSort | 2016 |
publisher | Springer |
record_format | marc |
series | Studies in Computational Intelligence |
series2 | Studies in Computational Intelligence |
spelling | Gumzej, Roman Verfasser (DE-588)108463919X aut Engineering safe and secure cyber-physical systems the specification PEARL approach Roman Gumzej [Cham] Springer [2016] © 2016 xiii, 128 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Studies in Computational Intelligence volume 632 1860-949X Engineering Artificial intelligence Computational intelligence Quality control Reliability Industrial safety Electronic circuits Computational Intelligence Artificial Intelligence (incl. Robotics) Circuits and Systems Quality Control, Reliability, Safety and Risk Ingenieurwissenschaften Künstliche Intelligenz Erscheint auch als Online-Ausgabe 978-3-319-28905-2 Studies in Computational Intelligence volume 632 (DE-604)BV020822171 632 |
spellingShingle | Gumzej, Roman Engineering safe and secure cyber-physical systems the specification PEARL approach Studies in Computational Intelligence Engineering Artificial intelligence Computational intelligence Quality control Reliability Industrial safety Electronic circuits Computational Intelligence Artificial Intelligence (incl. Robotics) Circuits and Systems Quality Control, Reliability, Safety and Risk Ingenieurwissenschaften Künstliche Intelligenz |
title | Engineering safe and secure cyber-physical systems the specification PEARL approach |
title_auth | Engineering safe and secure cyber-physical systems the specification PEARL approach |
title_exact_search | Engineering safe and secure cyber-physical systems the specification PEARL approach |
title_full | Engineering safe and secure cyber-physical systems the specification PEARL approach Roman Gumzej |
title_fullStr | Engineering safe and secure cyber-physical systems the specification PEARL approach Roman Gumzej |
title_full_unstemmed | Engineering safe and secure cyber-physical systems the specification PEARL approach Roman Gumzej |
title_short | Engineering safe and secure cyber-physical systems |
title_sort | engineering safe and secure cyber physical systems the specification pearl approach |
title_sub | the specification PEARL approach |
topic | Engineering Artificial intelligence Computational intelligence Quality control Reliability Industrial safety Electronic circuits Computational Intelligence Artificial Intelligence (incl. Robotics) Circuits and Systems Quality Control, Reliability, Safety and Risk Ingenieurwissenschaften Künstliche Intelligenz |
topic_facet | Engineering Artificial intelligence Computational intelligence Quality control Reliability Industrial safety Electronic circuits Computational Intelligence Artificial Intelligence (incl. Robotics) Circuits and Systems Quality Control, Reliability, Safety and Risk Ingenieurwissenschaften Künstliche Intelligenz |
volume_link | (DE-604)BV020822171 |
work_keys_str_mv | AT gumzejroman engineeringsafeandsecurecyberphysicalsystemsthespecificationpearlapproach |