Verfügbarkeit: Software engineering for resilient systems

Software engineering for resilient systems: third international workshop, SERENE 2011, Geneva, Switzerland, September 29 - 30, 2011 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6968
Schlagworte:	Zuverlässigkeit Kritische Infrastruktur Software Engineering Sicherheitskritisches System Softwareschutz Verifikation Softwarearchitektur Fehlertoleranz Konferenzschrift > 2011 > Genf
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	X, 164 S. graph. Darst. 235 mm x 155 mm
ISBN:	9783642241239 3642241239

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV039600265
003	DE-604
005	20111019
007	t\|
008	110926s2011 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 11,N35 \|2 dnb
016	7		\|a 1014484030 \|2 DE-101
020			\|a 9783642241239 \|c Pb. : EUR 49.22 (DE) (freier Pr.), EUR 50.60 (AT) (freier Pr.), sfr 61.50 (freier Pr.) \|9 978-3-642-24123-9
020			\|a 3642241239 \|9 3-642-24123-9
024	3		\|a 9783642241239
028	5	2	\|a Best.-Nr.: 80113280
035			\|a (OCoLC)756360811
035			\|a (DE-599)DNB1014484030
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-706 \|a DE-83 \|a DE-91G \|a DE-11
082	0		\|a 004.2 \|2 22//ger
084			\|a 004 \|2 sdnb
084			\|a DAT 310f \|2 stub
245	1	0	\|a Software engineering for resilient systems \|b third international workshop, SERENE 2011, Geneva, Switzerland, September 29 - 30, 2011 ; proceedings \|c Elena A. Troubitsyna (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2011
300			\|a X, 164 S. \|b graph. Darst. \|c 235 mm x 155 mm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6968
650	0	7	\|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Kritische Infrastruktur \|0 (DE-588)7636249-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software Engineering \|0 (DE-588)4116521-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Sicherheitskritisches System \|0 (DE-588)4767762-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareschutz \|0 (DE-588)4131649-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwarearchitektur \|0 (DE-588)4121677-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Fehlertoleranz \|0 (DE-588)4123192-2 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2011 \|z Genf \|2 gnd-content
689	0	0	\|a Fehlertoleranz \|0 (DE-588)4123192-2 \|D s
689	0	1	\|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|D s
689	0	2	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	0	3	\|a Softwarearchitektur \|0 (DE-588)4121677-5 \|D s
689	0	4	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	0	5	\|a Softwareschutz \|0 (DE-588)4131649-6 \|D s
689	0	6	\|a Kritische Infrastruktur \|0 (DE-588)7636249-8 \|D s
689	0	7	\|a Sicherheitskritisches System \|0 (DE-588)4767762-4 \|D s
689	0		\|5 DE-604
700	1		\|a Troubitsyna, Elena A. \|e Sonstige \|4 oth
711	2		\|a SERENE \|n 3 \|d 2011 \|c Genf \|j Sonstige \|0 (DE-588)16182902-8 \|4 oth
830		0	\|a Lecture notes in computer science \|v 6968 \|w (DE-604)BV000000607 \|9 6968
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3869576&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024451164&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-024451164

Datensatz im Suchindex

_version_	1820875347365724160
adam_text	IMAGE 1 TABLE OF CONTENTS INVITED TALK PRELIMINARY INTERDEPENDENCY ANALYSIS (PIA): METHOD AND TOOL SUPPORT 1 PETER POPOV FORMAL MODELLING AND VERIFICATION USE CASE SCENARIOS AS VERIFICATION CONDITIONS: EVENT-B/FLOW APPROACH 9 ALEXEI LLIASOV QUANTITATIVE VERIFICATION OF SYSTEM SAFETY IN EVENT-B 24 ANTON TARASYUK, ELENA TROUBITSYNA, AND LINAS LAIBINIS EXPERIENCE-BASED MODEL REFINEMENT 40 DIDIER BUCHS, STEVE HOSTETTLER, AND ALEXIS MARECHAL ARCHITECTING RESILIENT SYSTEMS ARCHITECTING RESILIENT COMPUTING SYSTEMS: OVERALL APPROACH AND OPEN ISSUES 48 MIRUNA STOICESCU, JEAN-CHARLES FAHRE, AND MATTHIEU ROY SUPPORTING ARCHITECTURAL DESIGN DECISIONS EVOLUTION THROUGH MODEL DRIVEN ENGINEERING 63 IVANO MALAVOLTA, HENRY MUCCINI, AND V. SMRITHI REKHA FAULT TOLERANCE ON ENABLING DEPENDABILITY ASSURANCE IN HETEROGENEOUS NETWORKS THROUGH AUTOMATED MODEL-BASED ANALYSIS 78 PAOLO MASCI, NICOLA NOSTRO, AND FELICITA DI GIANDOMENICO SUPPORTING CROSS-LANGUAGE EXCEPTION HANDLING WHEN EXTENDING APPLICATIONS WITH EMBEDDED LANGUAGES 93 ANTHONY SAVIDIS BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1014484030 DIGITALISIERT DURCH IMAGE 2 X TABLE OF CONTENTS REQUIREMENTS ENGINEERING AND PRODUCT LINES GUARANTEEING CORRECT EVOLUTION OF SOFTWARE PRODUCT LINES: SETTING UP THE PROBLEM 100 MAURICE H. TER BEEK, HENRY MUCCINI, AND PATRIZIO PELLICCIONE IDEALIZED FAULT-TOLERANT COMPONENTS IN REQUIREMENTS ENGINEERING 106 SADAF MUSTAFIZ AND JOERG KIENZLE INVITED TALK PREDICTABILITY AND EVOLUTION IN RESILIENT SYSTEMS 113 IVICA CRNKOVIC MONITORING AND SELF-ADAPTATION SELF-ORGANISING P E R V A S I VE E C O S Y S T E M S: A C R O WD E V A C U A T I ON E X A M P LE . . 115 SARA MONTAGNA, MIRKO VIROLI, MATTEO RISOLDI, DANILO PIANINI, AND GIOVANNA DI MARZO SERUGENDO TOWARDS A MODEL-DRIVEN INFRASTRUCTURE FOR RUNTIME MONITORING 130 ANTONIA BERTOLINO, ANTONELLO CALABRO, FRANCESCA LONETTI, ANTINISCA DI MARCO, AND ANTONINO SABETTA SECURITY AND INTRUSION AVOIDANCE USING DIVERSITY IN CLOUD-BASED DEPLOYMENT ENVIRONMENT TO AVOID INTRUSIONS 145 ANATOLIY GORBENKO, VYACHESLAV KHARCHENKO, OLGA TARASYUK, AND ALEXANDER ROMANOVSKY 'KNOWN SECURE SENSOR MEASUREMENTS' FOR CRITICAL INFRASTRUCTURE SYSTEMS: DETECTING FALSIFICATION OF SYSTEM STATE 156 MILES MCQUEEN AND ANNARITA GIANI AUTHOR INDEX 165
any_adam_object	1
building	Verbundindex
bvnumber	BV039600265
classification_rvk	SS 4800
classification_tum	DAT 310f
ctrlnum	(OCoLC)756360811 (DE-599)DNB1014484030
dewey-full	004.2
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.2
dewey-search	004.2
dewey-sort	14.2
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
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">BV039600265</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111019</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">110926s2011 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N35</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1014484030</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642241239</subfield><subfield code="c">Pb. : EUR 49.22 (DE) (freier Pr.), EUR 50.60 (AT) (freier Pr.), sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-24123-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642241239</subfield><subfield code="9">3-642-24123-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642241239</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80113280</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)756360811</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1014484030</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-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</subfield><subfield code="2">22//ger</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 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software engineering for resilient systems</subfield><subfield code="b">third international workshop, SERENE 2011, Geneva, Switzerland, September 29 - 30, 2011 ; proceedings</subfield><subfield code="c">Elena A. Troubitsyna (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 164 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">Lecture notes in computer science</subfield><subfield code="v">6968</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kritische Infrastruktur</subfield><subfield code="0">(DE-588)7636249-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareschutz</subfield><subfield code="0">(DE-588)4131649-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</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="y">2011</subfield><subfield code="z">Genf</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Softwareschutz</subfield><subfield code="0">(DE-588)4131649-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Kritische Infrastruktur</subfield><subfield code="0">(DE-588)7636249-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="7"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</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">Troubitsyna, Elena A.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SERENE</subfield><subfield code="n">3</subfield><subfield code="d">2011</subfield><subfield code="c">Genf</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16182902-8</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">6968</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6968</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3869576&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024451164&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024451164</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Genf gnd-content
genre_facet	Konferenzschrift 2011 Genf
id	DE-604.BV039600265
illustrated	Illustrated
indexdate	2025-01-10T15:14:11Z
institution	BVB
institution_GND	(DE-588)16182902-8
isbn	9783642241239 3642241239
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024451164
oclc_num	756360811
open_access_boolean
owner	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
owner_facet	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
physical	X, 164 S. graph. Darst. 235 mm x 155 mm
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Software engineering for resilient systems third international workshop, SERENE 2011, Geneva, Switzerland, September 29 - 30, 2011 ; proceedings Elena A. Troubitsyna (ed.) Berlin [u.a.] Springer 2011 X, 164 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6968 Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Kritische Infrastruktur (DE-588)7636249-8 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Softwareschutz (DE-588)4131649-6 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Softwarearchitektur (DE-588)4121677-5 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Genf gnd-content Fehlertoleranz (DE-588)4123192-2 s Zuverlässigkeit (DE-588)4059245-5 s Software Engineering (DE-588)4116521-4 s Softwarearchitektur (DE-588)4121677-5 s Verifikation (DE-588)4135577-5 s Softwareschutz (DE-588)4131649-6 s Kritische Infrastruktur (DE-588)7636249-8 s Sicherheitskritisches System (DE-588)4767762-4 s DE-604 Troubitsyna, Elena A. Sonstige oth SERENE 3 2011 Genf Sonstige (DE-588)16182902-8 oth Lecture notes in computer science 6968 (DE-604)BV000000607 6968 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3869576&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024451164&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Software engineering for resilient systems third international workshop, SERENE 2011, Geneva, Switzerland, September 29 - 30, 2011 ; proceedings Lecture notes in computer science Zuverlässigkeit (DE-588)4059245-5 gnd Kritische Infrastruktur (DE-588)7636249-8 gnd Software Engineering (DE-588)4116521-4 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Softwareschutz (DE-588)4131649-6 gnd Verifikation (DE-588)4135577-5 gnd Softwarearchitektur (DE-588)4121677-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd
subject_GND	(DE-588)4059245-5 (DE-588)7636249-8 (DE-588)4116521-4 (DE-588)4767762-4 (DE-588)4131649-6 (DE-588)4135577-5 (DE-588)4121677-5 (DE-588)4123192-2 (DE-588)1071861417
title	Software engineering for resilient systems third international workshop, SERENE 2011, Geneva, Switzerland, September 29 - 30, 2011 ; proceedings
title_auth	Software engineering for resilient systems third international workshop, SERENE 2011, Geneva, Switzerland, September 29 - 30, 2011 ; proceedings
title_exact_search	Software engineering for resilient systems third international workshop, SERENE 2011, Geneva, Switzerland, September 29 - 30, 2011 ; proceedings
title_full	Software engineering for resilient systems third international workshop, SERENE 2011, Geneva, Switzerland, September 29 - 30, 2011 ; proceedings Elena A. Troubitsyna (ed.)
title_fullStr	Software engineering for resilient systems third international workshop, SERENE 2011, Geneva, Switzerland, September 29 - 30, 2011 ; proceedings Elena A. Troubitsyna (ed.)
title_full_unstemmed	Software engineering for resilient systems third international workshop, SERENE 2011, Geneva, Switzerland, September 29 - 30, 2011 ; proceedings Elena A. Troubitsyna (ed.)
title_short	Software engineering for resilient systems
title_sort	software engineering for resilient systems third international workshop serene 2011 geneva switzerland september 29 30 2011 proceedings
title_sub	third international workshop, SERENE 2011, Geneva, Switzerland, September 29 - 30, 2011 ; proceedings
topic	Zuverlässigkeit (DE-588)4059245-5 gnd Kritische Infrastruktur (DE-588)7636249-8 gnd Software Engineering (DE-588)4116521-4 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Softwareschutz (DE-588)4131649-6 gnd Verifikation (DE-588)4135577-5 gnd Softwarearchitektur (DE-588)4121677-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd
topic_facet	Zuverlässigkeit Kritische Infrastruktur Software Engineering Sicherheitskritisches System Softwareschutz Verifikation Softwarearchitektur Fehlertoleranz Konferenzschrift 2011 Genf
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3869576&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024451164&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT troubitsynaelenaa softwareengineeringforresilientsystemsthirdinternationalworkshopserene2011genevaswitzerlandseptember29302011proceedings AT serenegenf softwareengineeringforresilientsystemsthirdinternationalworkshopserene2011genevaswitzerlandseptember29302011proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge