Verfügbarkeit: Enabling the automation of safety and security co-analysis through lightweight semantics

Enabling the automation of safety and security co-analysis through lightweight semantics:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Gil Dantas, Yuri (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	English
Veröffentlicht:	München 2024
Schlagworte:	Computersicherheit Sicherheitskritisches System Datensicherung Technische Sicherheit Zuverlässigkeit Formale Methode Hochschulschrift
Online-Zugang:	kostenfrei kostenfrei
Beschreibung:	xvi, 189 Seiten Illustrationen, Diagramme
DOI:	10.5282/edoc.33809

Internformat

MARC


LEADER	00000nam a2200000zc 4500
001	BV049812012
003	DE-604
005	20240808
007	t
008	240807s2024 gw a\|\|\| m\|\|\| 00\|\|\| eng d
015			\|a 24,O08 \|2 dnb
035			\|a (OCoLC)1454761404
035			\|a (DE-599)BVBBV049812012
040			\|a DE-604 \|b ger
041	0		\|a eng
044			\|a gw \|c XA-DE-BY
049			\|a DE-384 \|a DE-473 \|a DE-703 \|a DE-1051 \|a DE-824 \|a DE-29 \|a DE-12 \|a DE-91 \|a DE-19 \|a DE-1049 \|a DE-92 \|a DE-739 \|a DE-898 \|a DE-355 \|a DE-706 \|a DE-20 \|a DE-1102 \|a DE-860 \|a DE-2174
084			\|8 2\p \|a 004 \|2 23sdnb
084			\|8 1\p \|a 005.8 \|2 23ksdnb
100	1		\|a Gil Dantas, Yuri \|e Verfasser \|0 (DE-588)1336877359 \|4 aut
245	1	0	\|a Enabling the automation of safety and security co-analysis through lightweight semantics \|c Yuri Gil Dantas
264		1	\|a München \|c 2024
300			\|a xvi, 189 Seiten \|b Illustrationen, Diagramme
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
502			\|b Dissertation \|c München, Ludwig-Maximilians-Universität \|d 2024
583	1		\|a Archivierung/Langzeitarchivierung gewährleistet \|5 DE-101 \|2 pdager
650	0	7	\|8 3\p \|a Computersicherheit \|0 (DE-588)4274324-2 \|2 gnd
650	0	7	\|8 4\p \|a Sicherheitskritisches System \|0 (DE-588)4767762-4 \|2 gnd
650	0	7	\|8 5\p \|a Datensicherung \|0 (DE-588)4011144-1 \|2 gnd
650	0	7	\|8 6\p \|a Technische Sicherheit \|0 (DE-588)4059233-9 \|2 gnd
650	0	7	\|8 7\p \|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|2 gnd
650	0	7	\|8 8\p \|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|o urn:nbn:de:bvb:19-338091 \|o 10.5282/edoc.33809
856	4	1	\|u https://doi.org/10.5282/edoc.33809 \|x Verlag \|z kostenfrei \|3 Volltext
856	4	1	\|u https://nbn-resolving.org/urn:nbn:de:bvb:19-338091 \|x Resolving-System \|z kostenfrei \|3 Volltext
883	0		\|8 1\p \|a emakn \|c 0,67525 \|d 20240730 \|q DE-101 \|u https://d-nb.info/provenance/plan#emakn
883	0		\|8 2\p \|a emasg \|c 0,37942 \|d 20240730 \|q DE-101 \|u https://d-nb.info/provenance/plan#emasg
883	0		\|8 3\p \|a emagnd \|c 0,48622 \|d 20240730 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 4\p \|a emagnd \|c 0,41939 \|d 20240730 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 5\p \|a emagnd \|c 0,34408 \|d 20240730 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 6\p \|a emagnd \|c 0,33243 \|d 20240730 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 7\p \|a emagnd \|c 0,18331 \|d 20240730 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
883	0		\|8 8\p \|a emagnd \|c 0,16643 \|d 20240730 \|q DE-101 \|u https://d-nb.info/provenance/plan#emagnd
912			\|a ebook
943	1		\|a oai:aleph.bib-bvb.de:BVB01-035152372

Datensatz im Suchindex

_version_	1809767438378598400
adam_text
any_adam_object
author	Gil Dantas, Yuri
author_GND	(DE-588)1336877359
author_facet	Gil Dantas, Yuri
author_role	aut
author_sort	Gil Dantas, Yuri
author_variant	d y g dy dyg
building	Verbundindex
bvnumber	BV049812012
collection	ebook
ctrlnum	(OCoLC)1454761404 (DE-599)BVBBV049812012
doi_str_mv	10.5282/edoc.33809
format	Thesis Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV049812012</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240808</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">240807s2024 gw a\|\|\| m\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">24,O08</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1454761404</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049812012</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-2174</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="8">2\p</subfield><subfield code="a">004</subfield><subfield code="2">23sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="8">1\p</subfield><subfield code="a">005.8</subfield><subfield code="2">23ksdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gil Dantas, Yuri</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1336877359</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Enabling the automation of safety and security co-analysis through lightweight semantics</subfield><subfield code="c">Yuri Gil Dantas</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">2024</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvi, 189 Seiten</subfield><subfield code="b">Illustrationen, 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="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">München, Ludwig-Maximilians-Universität</subfield><subfield code="d">2024</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">Archivierung/Langzeitarchivierung gewährleistet</subfield><subfield code="5">DE-101</subfield><subfield code="2">pdager</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="8">3\p</subfield><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="8">4\p</subfield><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="8">5\p</subfield><subfield code="a">Datensicherung</subfield><subfield code="0">(DE-588)4011144-1</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="8">6\p</subfield><subfield code="a">Technische Sicherheit</subfield><subfield code="0">(DE-588)4059233-9</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="8">7\p</subfield><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="8">8\p</subfield><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">urn:nbn:de:bvb:19-338091</subfield><subfield code="o">10.5282/edoc.33809</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.5282/edoc.33809</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:bvb:19-338091</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">emakn</subfield><subfield code="c">0,67525</subfield><subfield code="d">20240730</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emakn</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">emasg</subfield><subfield code="c">0,37942</subfield><subfield code="d">20240730</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emasg</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">emagnd</subfield><subfield code="c">0,48622</subfield><subfield code="d">20240730</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">emagnd</subfield><subfield code="c">0,41939</subfield><subfield code="d">20240730</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">5\p</subfield><subfield code="a">emagnd</subfield><subfield code="c">0,34408</subfield><subfield code="d">20240730</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">6\p</subfield><subfield code="a">emagnd</subfield><subfield code="c">0,33243</subfield><subfield code="d">20240730</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">7\p</subfield><subfield code="a">emagnd</subfield><subfield code="c">0,18331</subfield><subfield code="d">20240730</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">8\p</subfield><subfield code="a">emagnd</subfield><subfield code="c">0,16643</subfield><subfield code="d">20240730</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#emagnd</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-035152372</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV049812012
illustrated	Illustrated
indexdate	2024-09-10T00:38:44Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-035152372
oclc_num	1454761404
open_access_boolean	1
owner	DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-860 DE-2174
owner_facet	DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-860 DE-2174
physical	xvi, 189 Seiten Illustrationen, Diagramme
psigel	ebook
publishDate	2024
publishDateSearch	2024
publishDateSort	2024
record_format	marc
spelling	Gil Dantas, Yuri Verfasser (DE-588)1336877359 aut Enabling the automation of safety and security co-analysis through lightweight semantics Yuri Gil Dantas München 2024 xvi, 189 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Dissertation München, Ludwig-Maximilians-Universität 2024 Archivierung/Langzeitarchivierung gewährleistet DE-101 pdager 3\p Computersicherheit (DE-588)4274324-2 gnd 4\p Sicherheitskritisches System (DE-588)4767762-4 gnd 5\p Datensicherung (DE-588)4011144-1 gnd 6\p Technische Sicherheit (DE-588)4059233-9 gnd 7\p Zuverlässigkeit (DE-588)4059245-5 gnd 8\p Formale Methode (DE-588)4333722-3 gnd (DE-588)4113937-9 Hochschulschrift gnd-content Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:19-338091 10.5282/edoc.33809 https://doi.org/10.5282/edoc.33809 Verlag kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:bvb:19-338091 Resolving-System kostenfrei Volltext 1\p emakn 0,67525 20240730 DE-101 https://d-nb.info/provenance/plan#emakn 2\p emasg 0,37942 20240730 DE-101 https://d-nb.info/provenance/plan#emasg 3\p emagnd 0,48622 20240730 DE-101 https://d-nb.info/provenance/plan#emagnd 4\p emagnd 0,41939 20240730 DE-101 https://d-nb.info/provenance/plan#emagnd 5\p emagnd 0,34408 20240730 DE-101 https://d-nb.info/provenance/plan#emagnd 6\p emagnd 0,33243 20240730 DE-101 https://d-nb.info/provenance/plan#emagnd 7\p emagnd 0,18331 20240730 DE-101 https://d-nb.info/provenance/plan#emagnd 8\p emagnd 0,16643 20240730 DE-101 https://d-nb.info/provenance/plan#emagnd
spellingShingle	Gil Dantas, Yuri Enabling the automation of safety and security co-analysis through lightweight semantics 3\p Computersicherheit (DE-588)4274324-2 gnd 4\p Sicherheitskritisches System (DE-588)4767762-4 gnd 5\p Datensicherung (DE-588)4011144-1 gnd 6\p Technische Sicherheit (DE-588)4059233-9 gnd 7\p Zuverlässigkeit (DE-588)4059245-5 gnd 8\p Formale Methode (DE-588)4333722-3 gnd
subject_GND	(DE-588)4274324-2 (DE-588)4767762-4 (DE-588)4011144-1 (DE-588)4059233-9 (DE-588)4059245-5 (DE-588)4333722-3 (DE-588)4113937-9
title	Enabling the automation of safety and security co-analysis through lightweight semantics
title_auth	Enabling the automation of safety and security co-analysis through lightweight semantics
title_exact_search	Enabling the automation of safety and security co-analysis through lightweight semantics
title_full	Enabling the automation of safety and security co-analysis through lightweight semantics Yuri Gil Dantas
title_fullStr	Enabling the automation of safety and security co-analysis through lightweight semantics Yuri Gil Dantas
title_full_unstemmed	Enabling the automation of safety and security co-analysis through lightweight semantics Yuri Gil Dantas
title_short	Enabling the automation of safety and security co-analysis through lightweight semantics
title_sort	enabling the automation of safety and security co analysis through lightweight semantics
topic	3\p Computersicherheit (DE-588)4274324-2 gnd 4\p Sicherheitskritisches System (DE-588)4767762-4 gnd 5\p Datensicherung (DE-588)4011144-1 gnd 6\p Technische Sicherheit (DE-588)4059233-9 gnd 7\p Zuverlässigkeit (DE-588)4059245-5 gnd 8\p Formale Methode (DE-588)4333722-3 gnd
topic_facet	Computersicherheit Sicherheitskritisches System Datensicherung Technische Sicherheit Zuverlässigkeit Formale Methode Hochschulschrift
url	https://doi.org/10.5282/edoc.33809 https://nbn-resolving.org/urn:nbn:de:bvb:19-338091
work_keys_str_mv	AT gildantasyuri enablingtheautomationofsafetyandsecuritycoanalysisthroughlightweightsemantics

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge