Verfügbarkeit: Construction and analysis of safe, secure, and interoperable smart devices

Construction and analysis of safe, secure, and interoperable smart devices: International Workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2005
Schriftenreihe:	Lecture Notes in Computer Science 3362
Schlagworte:	Formale Methode Interoperabilität Programmierumgebung Betriebssystem Datensicherung Zugriffskontrolle Model Checking Chipkarte Marseille Konferenzschrift
Online-Zugang:	DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-706 DE-739 Volltext
Beschreibung:	1 Online-Ressource (VI, 256 S.) graph. Darst.
ISBN:	3540242872
DOI:	10.1007/b105030

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV022301409
003	DE-604
005	20080430
007	cr\|uuu---uuuuu
008	070307s2005 gw o\|\|\|\| 00\|\|\| eng d
015			\|a 05,N03,0026 \|2 dnb
020			\|a 3540242872 \|c : EUR 44.94 (freier Pr.), sfr 76.50 (freier Pr.) \|9 3-540-24287-2
024	7		\|a 10.1007/b105030 \|2 doi
024	3		\|a 9783540242871
028	5	2	\|a 11375197
035			\|a (OCoLC)254134792
035			\|a (DE-599)BVBBV022301409
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-739 \|a DE-706 \|a DE-19 \|a DE-91 \|a DE-384 \|a DE-M347 \|a DE-634
082	0		\|a 332.178
084			\|a 004 \|2 sdnb
084			\|a DAT 460f \|2 stub
084			\|a DAT 179f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Construction and analysis of safe, secure, and interoperable smart devices \|b International Workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers \|c Gilles Barthe ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2005
300			\|a 1 Online-Ressource (VI, 256 S.) \|c graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 3362
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Interoperabilität \|0 (DE-588)4760029-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierumgebung \|0 (DE-588)4134837-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Betriebssystem \|0 (DE-588)4006216-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Datensicherung \|0 (DE-588)4011144-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Zugriffskontrolle \|0 (DE-588)4293034-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Chipkarte \|0 (DE-588)4147723-6 \|2 gnd \|9 rswk-swf
651		7	\|a Marseille \|0 (DE-588)4037694-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Chipkarte \|0 (DE-588)4147723-6 \|D s
689	0	1	\|a Datensicherung \|0 (DE-588)4011144-1 \|D s
689	0	2	\|a Zugriffskontrolle \|0 (DE-588)4293034-0 \|D s
689	0	3	\|a Interoperabilität \|0 (DE-588)4760029-9 \|D s
689	0	4	\|a Marseille \|0 (DE-588)4037694-1 \|D g
689	0		\|5 DE-604
689	1	0	\|a Chipkarte \|0 (DE-588)4147723-6 \|D s
689	1	1	\|a Betriebssystem \|0 (DE-588)4006216-8 \|D s
689	1	2	\|a Programmierumgebung \|0 (DE-588)4134837-0 \|D s
689	1	3	\|a Marseille \|0 (DE-588)4037694-1 \|D g
689	1		\|5 DE-604
689	2	0	\|a Chipkarte \|0 (DE-588)4147723-6 \|D s
689	2	1	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	2	2	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	2	3	\|a Marseille \|0 (DE-588)4037694-1 \|D g
689	2		\|5 DE-604
700	1		\|a Barthe, Gilles \|e Sonstige \|4 oth
711	2		\|a CASSIS \|d 2004 \|c Marseille \|j Sonstige \|0 (DE-588)10096064-9 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 3362 \|w (DE-604)BV014880109 \|9 3362
856	4	0	\|u https://doi.org/10.1007/b105030 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015511397
966	e		\|u https://doi.org/10.1007/b105030 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b105030 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b105030 \|l DE-91 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b105030 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b105030 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b105030 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b105030 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b105030 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875006490443776
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV022301409
classification_rvk	SS 4800
classification_tum	DAT 460f DAT 179f DAT 000
collection	ZDB-2-SCS
ctrlnum	(OCoLC)254134792 (DE-599)BVBBV022301409
dewey-full	332.178
dewey-hundreds	300 - Social sciences
dewey-ones	332 - Financial economics
dewey-raw	332.178
dewey-search	332.178
dewey-sort	3332.178
dewey-tens	330 - Economics
discipline	Informatik Wirtschaftswissenschaften
discipline_str_mv	Informatik Wirtschaftswissenschaften
doi_str_mv	10.1007/b105030
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV022301409</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080430</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">070307s2005 gw o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N03,0026</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540242872</subfield><subfield code="c">: EUR 44.94 (freier Pr.), sfr 76.50 (freier Pr.)</subfield><subfield code="9">3-540-24287-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b105030</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540242871</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11375197</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)254134792</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022301409</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">332.178</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 460f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 179f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Construction and analysis of safe, secure, and interoperable smart devices</subfield><subfield code="b">International Workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers</subfield><subfield code="c">Gilles Barthe ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VI, 256 S.)</subfield><subfield code="c">graph. Darst.</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">Lecture Notes in Computer Science</subfield><subfield code="v">3362</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Interoperabilität</subfield><subfield code="0">(DE-588)4760029-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierumgebung</subfield><subfield code="0">(DE-588)4134837-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Betriebssystem</subfield><subfield code="0">(DE-588)4006216-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datensicherung</subfield><subfield code="0">(DE-588)4011144-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zugriffskontrolle</subfield><subfield code="0">(DE-588)4293034-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Chipkarte</subfield><subfield code="0">(DE-588)4147723-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="651" ind1=" " ind2="7"><subfield code="a">Marseille</subfield><subfield code="0">(DE-588)4037694-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Chipkarte</subfield><subfield code="0">(DE-588)4147723-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Datensicherung</subfield><subfield code="0">(DE-588)4011144-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Zugriffskontrolle</subfield><subfield code="0">(DE-588)4293034-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Interoperabilität</subfield><subfield code="0">(DE-588)4760029-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Marseille</subfield><subfield code="0">(DE-588)4037694-1</subfield><subfield code="D">g</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Chipkarte</subfield><subfield code="0">(DE-588)4147723-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Betriebssystem</subfield><subfield code="0">(DE-588)4006216-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Programmierumgebung</subfield><subfield code="0">(DE-588)4134837-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Marseille</subfield><subfield code="0">(DE-588)4037694-1</subfield><subfield code="D">g</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Chipkarte</subfield><subfield code="0">(DE-588)4147723-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="3"><subfield code="a">Marseille</subfield><subfield code="0">(DE-588)4037694-1</subfield><subfield code="D">g</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barthe, Gilles</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CASSIS</subfield><subfield code="d">2004</subfield><subfield code="c">Marseille</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10096064-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">3362</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">3362</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b105030</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015511397</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b105030</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/b105030</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/b105030</subfield><subfield code="l">DE-91</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/b105030</subfield><subfield code="l">DE-384</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/b105030</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/b105030</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/b105030</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/b105030</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>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
geographic	Marseille (DE-588)4037694-1 gnd
geographic_facet	Marseille
id	DE-604.BV022301409
illustrated	Not Illustrated
index_date	2024-07-02T16:55:11Z
indexdate	2025-01-10T15:08:47Z
institution	BVB
institution_GND	(DE-588)10096064-9
isbn	3540242872
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015511397
oclc_num	254134792
open_access_boolean
owner	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634
owner_facet	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634
physical	1 Online-Ressource (VI, 256 S.) graph. Darst.
psigel	ZDB-2-SCS
publishDate	2005
publishDateSearch	2005
publishDateSort	2005
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Construction and analysis of safe, secure, and interoperable smart devices International Workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers Gilles Barthe ... (eds.) Berlin [u.a.] Springer 2005 1 Online-Ressource (VI, 256 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 3362 Formale Methode (DE-588)4333722-3 gnd rswk-swf Interoperabilität (DE-588)4760029-9 gnd rswk-swf Programmierumgebung (DE-588)4134837-0 gnd rswk-swf Betriebssystem (DE-588)4006216-8 gnd rswk-swf Datensicherung (DE-588)4011144-1 gnd rswk-swf Zugriffskontrolle (DE-588)4293034-0 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Chipkarte (DE-588)4147723-6 gnd rswk-swf Marseille (DE-588)4037694-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Chipkarte (DE-588)4147723-6 s Datensicherung (DE-588)4011144-1 s Zugriffskontrolle (DE-588)4293034-0 s Interoperabilität (DE-588)4760029-9 s Marseille (DE-588)4037694-1 g DE-604 Betriebssystem (DE-588)4006216-8 s Programmierumgebung (DE-588)4134837-0 s Model Checking (DE-588)4434799-6 s Formale Methode (DE-588)4333722-3 s Barthe, Gilles Sonstige oth CASSIS 2004 Marseille Sonstige (DE-588)10096064-9 oth Lecture Notes in Computer Science 3362 (DE-604)BV014880109 3362 https://doi.org/10.1007/b105030 Verlag Volltext
spellingShingle	Construction and analysis of safe, secure, and interoperable smart devices International Workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers Lecture Notes in Computer Science Formale Methode (DE-588)4333722-3 gnd Interoperabilität (DE-588)4760029-9 gnd Programmierumgebung (DE-588)4134837-0 gnd Betriebssystem (DE-588)4006216-8 gnd Datensicherung (DE-588)4011144-1 gnd Zugriffskontrolle (DE-588)4293034-0 gnd Model Checking (DE-588)4434799-6 gnd Chipkarte (DE-588)4147723-6 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4760029-9 (DE-588)4134837-0 (DE-588)4006216-8 (DE-588)4011144-1 (DE-588)4293034-0 (DE-588)4434799-6 (DE-588)4147723-6 (DE-588)4037694-1 (DE-588)1071861417
title	Construction and analysis of safe, secure, and interoperable smart devices International Workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers
title_auth	Construction and analysis of safe, secure, and interoperable smart devices International Workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers
title_exact_search	Construction and analysis of safe, secure, and interoperable smart devices International Workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers
title_exact_search_txtP	Construction and analysis of safe, secure, and interoperable smart devices International Workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers
title_full	Construction and analysis of safe, secure, and interoperable smart devices International Workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers Gilles Barthe ... (eds.)
title_fullStr	Construction and analysis of safe, secure, and interoperable smart devices International Workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers Gilles Barthe ... (eds.)
title_full_unstemmed	Construction and analysis of safe, secure, and interoperable smart devices International Workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers Gilles Barthe ... (eds.)
title_short	Construction and analysis of safe, secure, and interoperable smart devices
title_sort	construction and analysis of safe secure and interoperable smart devices international workshop cassis 2004 marseille france march 10 14 2004 revised selected papers
title_sub	International Workshop, CASSIS 2004, Marseille, France, March 10 - 14, 2004 ; revised selected papers
topic	Formale Methode (DE-588)4333722-3 gnd Interoperabilität (DE-588)4760029-9 gnd Programmierumgebung (DE-588)4134837-0 gnd Betriebssystem (DE-588)4006216-8 gnd Datensicherung (DE-588)4011144-1 gnd Zugriffskontrolle (DE-588)4293034-0 gnd Model Checking (DE-588)4434799-6 gnd Chipkarte (DE-588)4147723-6 gnd
topic_facet	Formale Methode Interoperabilität Programmierumgebung Betriebssystem Datensicherung Zugriffskontrolle Model Checking Chipkarte Marseille Konferenzschrift
url	https://doi.org/10.1007/b105030
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT barthegilles constructionandanalysisofsafesecureandinteroperablesmartdevicesinternationalworkshopcassis2004marseillefrancemarch10142004revisedselectedpapers AT cassismarseille constructionandanalysisofsafesecureandinteroperablesmartdevicesinternationalworkshopcassis2004marseillefrancemarch10142004revisedselectedpapers

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