Computer safety, reliability, and security: 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14 - 17, 2010 ; proceedings
Gespeichert in:
Format: | Tagungsbericht Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
Schriftenreihe: | Lecture notes in computer science
6351 |
Schlagworte: | |
Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
Beschreibung: | Literaturangaben |
Beschreibung: | XIII, 486 S. graph. Darst. 24 cm |
ISBN: | 9783642156502 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV036665456 | ||
003 | DE-604 | ||
005 | 20101026 | ||
007 | t| | ||
008 | 100913s2010 xx d||| |||| 10||| eng d | ||
015 | |a 10,N32 |2 dnb | ||
016 | 7 | |a 1005454663 |2 DE-101 | |
020 | |a 9783642156502 |c kart. : EUR 66.34 (freier Pr.), sfr 89.00 (freier Pr.) |9 978-3-642-15650-2 | ||
024 | 3 | |a 9783642156502 | |
028 | 5 | 2 | |a 80022315 |
035 | |a (OCoLC)665159233 | ||
035 | |a (DE-599)DNB1005454663 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-706 |a DE-91G |a DE-11 |a DE-83 | ||
082 | 0 | |a 005.8 |2 22/ger | |
082 | 0 | |a 004.2 |2 22/ger | |
084 | |a DAT 460f |2 stub | ||
084 | |a 620 |2 sdnb | ||
084 | |a DAT 050f |2 stub | ||
084 | |a 004 |2 sdnb | ||
084 | |a DAT 260f |2 stub | ||
084 | |a DAT 343f |2 stub | ||
245 | 1 | 0 | |a Computer safety, reliability, and security |b 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14 - 17, 2010 ; proceedings |c Erwin Schoitsch (eds.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
300 | |a XIII, 486 S. |b graph. Darst. |c 24 cm | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 6351 | |
500 | |a Literaturangaben | ||
650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Technische Sicherheit |0 (DE-588)4059233-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Computersicherheit |0 (DE-588)4274324-2 |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 Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Wien |2 gnd-content | |
689 | 0 | 0 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |D s |
689 | 0 | 1 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
689 | 0 | 2 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
689 | 0 | 3 | |a Computersicherheit |0 (DE-588)4274324-2 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Technische Sicherheit |0 (DE-588)4059233-9 |D s |
689 | 1 | 1 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
689 | 1 | 2 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
689 | 1 | 3 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
689 | 1 | |5 DE-604 | |
700 | 1 | |a Schoitsch, Erwin |e Sonstige |4 oth | |
711 | 2 | |a SAFECOMP |n 29 |d 2010 |c Wien |j Sonstige |0 (DE-588)16080739-6 |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 6351 |w (DE-604)BV000000607 |9 6351 | |
856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3521314&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=020584651&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020584651 |
Datensatz im Suchindex
_version_ | 1820875263484887040 |
---|---|
adam_text |
TABLE OF CONTENTS SESSION 1 SYSTEM ANALYSIS RELIABILITY ANALYSIS OF
SAFETY-RELATED COMMUNICATION ARCHITECTURES . 1 OLIVER SCHULZ AND JAN
PELESKA A NOVEL HAZOP STUDY APPROACH IN THE RAMS ANALYSIS OF A
THERAPEUTIC ROBOT FOR DISABLED CHILDREN 15 PETR BOEHM AND THOMAS GRUBER
VARIABILITY MANAGEMENT OF SAFETY AND RELIABILITY MODELS: AN INTERMEDIATE
MODEL TOWARDS SYSTEMATIC REUSE OF COMPONENT FAULT TREES 28 CAROLINA
GOMEZ, PETER LIGGESMEYER, AND ARIANE SUTOR QOS ANALYSIS OF WEIGHTED
MULTI-STATE PROBABILISTIC NETWORKS VIA DECISION DIAGRAMS 41 ROBERTA
TERRUGGIA AND ANDREA BOBBIO SESSION 2 SAFETY CASES AND CERTIFICATION
COMPARISON BETWEEN IEC 60880 AND IEC 61508 FOR CERTIFICATION PURPOSES IN
THE NUCLEAR DOMAIN 55 JUSSI LAHTINEN, MIKA JOHANSSON, JUKKA RANTA, HANNU
HARJU, AND RISTO NEVALAINEN DERIVING SAFETY CASES FOR HIERARCHICAL
STRUCTURE IN MODEL-BASED DEVELOPMENT 68 NURLIDA BASIR, EWEN DENNEY, AND
BERND FISCHER ASSURANCE OF AUTOMOTIVE SAFETY - A SAFETY CASE APPROACH 82
ROBERT PALIN AND IBRAHIM HABLI HOW TO "SURVIVE" A SAFETY CASE ACCORDING
TO ISO 26262 97 TORSTEN DITTEL AND HANS-JOERG ARYUS BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/1005454663 DIGITALISIERT DURCH X TABLE OF
CONTENTS SESSION 3 AEROSPACE BENCHMARKING SOFTWARE REQUIREMENTS
DOCUMENTATION FOR SPACE APPLICATION 112 PAULO C. VERAS, EMILIA VILLANI,
ANA MARIA AMBROSIO, RODRIGO P. PONTES, MARCO VIEIRA, AND HENRIQUE
MADEIRA VERIFYING MODE CONSISTENCY FOR ON-BOARD SATELLITE SOFTWARE 126
ALEXEI ILIASOV, ELENA TROUBITSYNA, LINAS LAIBINIS, ALEXANDER ROMANOVSKY,
KIMMO VARPAANIEMI, PAULI VAEISAENEN, DUBRAVKA ILIC, AND TIMO LATVALA
COMPUTATIONAL CONCERNS IN THE INTEGRATION OF UNMANNED AIRBORNE SYSTEMS
INTO CONTROLLED AIRSPACE 142 CHRISTOPHER W. JOHNSON SESSION 4 ERROR
DETECTION RESIDUAL ERROR PROBABILITY OF EMBEDDED CRC BY STOCHASTIC
AUTOMATA 155 FRANK SCHILLER AND TINA MATTES ANB- AND ANBDMEM-ENCODING:
DETECTING HARDWARE ERRORS IN SOFTWARE 169 UTE SCHIFFEL, ANDRE SCHMITT,
MARTIN SUESSKRAUT, AND CHRISTOF FETZER SESSION 5 VALIDATION AND
VERIFICATION FIELD TEST METHODS FOR A CO-OPERATIVE INTEGRATED TRAFFIC
MANAGEMENT SYSTEM 183 THOMAS GRUBER, EGBERT ALTHAMMER, AND ERWIN
SCHOITSCH 100% COVERAGE FOR SAFETY-CRITICAL SOFTWARE - EFFICIENT TESTING
BY STATIC ANALYSIS 196 DANIEL KAESTNER, REINHOLD HECKMANN, AND CHRISTIAN
FERDINAND MODIFI: A MODEL-IMPLEMENTED FAULT INJECTION TOOL 210 RICKARD
SVENNINGSSON, JONNY VINTER, HENRIK ERIKSSON, AND MARTIN TABLE OF
CONTENTS XI AUTOMATED TEST COVERAGE MEASUREMENT FOR REACTOR PROTECTION
SYSTEM SOFTWARE IMPLEMENTED IN FUNCTION BLOCK DIAGRAM 223 EUNKYOUNG JEE,
SUIN KIM, SUNGDEOK CHA, AND INSUP LEE SESSION 6 TESTING OVERCOMING
NON-DETERMINISM IN TESTING SMART DEVICES: A CASE STUDY 237 PETER BISHOP
AND LUKASZ CYRA SOFTWARE TESTING BY PEOPLE WITH AUTISM 251 SUZANNE
HAANAPPEL AND SJAAK BRINKKEMPER SESSION 7 CRITICAL INFRASTRUCTURE -
SMART GRID INFORMATION FLOW ANALYSIS OF ENERGY MANAGEMENT IN A SMART
GRID . 263 RAVI AKELLA AND BRUCE M. MCMILLIN INTEGRATED
CYBER-PHYSICAL FAULT INJECTION FOR RELIABILITY ANALYSIS OF THE SMART
GRID 277 AYMAN FAZA, SAHRA SEDIGH, AND BRUCE MCMILLIN A METRICS FOR
MEASURING THE STRENGTH OF INTER-DEPENDENCIES 291 SILVIA RUZZANTE, ELISA
CASTORINI, ELENA MARCHEI, AND VINCENZO FIORITI SESSION 8 SECURITY AND
SAFETY SECURITY ANALYSIS OF OPEN BUILDING AUTOMATION SYSTEMS 303
WOLFGANG GRANZER AND WOLFGANG KASTNER A UML PROFILE FOR REQUIREMENTS
ANALYSIS OF DEPENDABLE SOFTWARE 317 DENIS HATEBUR AND MARITTA HEISEL
SESSION 9 SAFETY ENGINEERING (1) MODEL-BASED SAFETY ENGINEERING OF
INTERDEPENDENT FUNCTIONS IN AUTOMOTIVE VEHICLES USING EAST-ADL2 332
ANDERS XII TABLE OF CONTENTS EXPERIENCES IN APPLYING FORMAL VERIFICATION
IN ROBOTICS 347 DENNIS WALTER, HOLGER TAEUBIG, AND CHRISTOPH LUETH
EVOLVING A SAFE SYSTEM DESIGN ITERATIVELY 361 ALEXANDRE MOTA, JOABE
JESUS, ADRIANO GOMES, FELIPE FERRI, AND EDSON WATANABE AN APPROACH TO
USING NON SAFETY-ASSURED PROGRAMMABLE COMPONENTS IN MODEST INTEGRITY
SYSTEMS 375 PETER BISHOP, KOSTAS TOURLAS, AND NICK CHOZOS SESSION 10
SAFETY ENGINEERING (2) DEVELOPMENT OF HIGH-INTEGRITY SOFTWARE PRODUCT
LINES USING MODEL TRANSFORMATION 389 STUART HUTCHESSON AND JOHN MCDERMID
ON THE SAFETY IMPLICATIONS OF E-GOVERNANCE: ASSESSING THE HAZARDS OF
ENTERPRISE INFORMATION ARCHITECTURES IN SAFETY-CRITICAL APPLICATIONS
. 402 CHRISTOPHER W. JOHNSON AND STEFAN RAUE THE RIGHT DEGREE OF
CONFIGURABILITY FOR SAFETY-CRITICAL EMBEDDED SOFTWARE IN VARIABLE
MESSAGE SIGNS 418 THOMAS NOVAK AND CHRISTOPH STOEGERER INDEXYS, A
LOGICAL STEP BEYOND GENESYS: INDUSTRIAL EXPLOITATION OF THE GENESYS
CROSS-DOMAIN ARCHITECTURE 431 ANDREAS ECKEL, PAUL MILBREDT, ZAID AL-ARS,
STEFAN SCHNEELE, BART VERMEULEN, GYOERGY CSERTAN, CHRISTOPH SCHEERER,
NEERAJ SURI, ABDELMAJID KHELIL, GERHARD FOHLER, ROMAN OBERMAISSER, AND
CHRISTIAN FIDI SESSION 11 SYSTEM MODELLING AND FAULT TOLERANCE
INTEGRATING SYSTEM MODELLING WITH SAFETY ACTIVITIES 452 BERNHARD TABLE
OF CONTENTS XIII INVITED TALKS (KEYNOTE ABSTRACTS) SYSTEM OF SYSTEMS
CHALLENGES 480 HERMANN KOPETZ MURPHY WAS AN OPTIMIST 481 KEVIN R.
DRISCOLL PROCESS CONTROL SECURITY: GO DUTCH! (UNITED, SHARED, LEAN AND
MEAN) 483 ERIC LUIIJF AUTHOR INDEX 485 |
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV036665456 |
classification_rvk | SS 4800 |
classification_tum | DAT 460f DAT 050f DAT 260f DAT 343f |
ctrlnum | (OCoLC)665159233 (DE-599)DNB1005454663 |
dewey-full | 005.8 004.2 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
dewey-raw | 005.8 004.2 |
dewey-search | 005.8 004.2 |
dewey-sort | 15.8 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Maschinenbau / Maschinenwesen 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">BV036665456</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101026</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100913s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N32</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1005454663</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642156502</subfield><subfield code="c">kart. : EUR 66.34 (freier Pr.), sfr 89.00 (freier Pr.)</subfield><subfield code="9">978-3-642-15650-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642156502</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80022315</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)665159233</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1005454663</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.8</subfield><subfield code="2">22/ger</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">DAT 460f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 050f</subfield><subfield code="2">stub</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 260f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer safety, reliability, and security</subfield><subfield code="b">29th international conference, SAFECOMP 2010, Vienna, Austria, September 14 - 17, 2010 ; proceedings</subfield><subfield code="c">Erwin Schoitsch (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 486 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6351</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Technische Sicherheit</subfield><subfield code="0">(DE-588)4059233-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</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">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">2010</subfield><subfield code="z">Wien</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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="3"><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</subfield><subfield code="D">s</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">Technische Sicherheit</subfield><subfield code="0">(DE-588)4059233-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schoitsch, Erwin</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAFECOMP</subfield><subfield code="n">29</subfield><subfield code="d">2010</subfield><subfield code="c">Wien</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16080739-6</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">6351</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6351</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=3521314&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=020584651&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-020584651</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2010 Wien gnd-content |
genre_facet | Konferenzschrift 2010 Wien |
id | DE-604.BV036665456 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:12:51Z |
institution | BVB |
institution_GND | (DE-588)16080739-6 |
isbn | 9783642156502 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020584651 |
oclc_num | 665159233 |
open_access_boolean | |
owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
physical | XIII, 486 S. graph. Darst. 24 cm |
publishDate | 2010 |
publishDateSearch | 2010 |
publishDateSort | 2010 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Computer safety, reliability, and security 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14 - 17, 2010 ; proceedings Erwin Schoitsch (eds.) Berlin [u.a.] Springer 2010 XIII, 486 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6351 Literaturangaben Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Technische Sicherheit (DE-588)4059233-9 gnd rswk-swf Computersicherheit (DE-588)4274324-2 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Wien gnd-content Sicherheitskritisches System (DE-588)4767762-4 s Softwareentwicklung (DE-588)4116522-6 s Zuverlässigkeit (DE-588)4059245-5 s Computersicherheit (DE-588)4274324-2 s DE-604 Technische Sicherheit (DE-588)4059233-9 s Fehlertoleranz (DE-588)4123192-2 s Systementwicklung (DE-588)4126945-7 s Schoitsch, Erwin Sonstige oth SAFECOMP 29 2010 Wien Sonstige (DE-588)16080739-6 oth Lecture notes in computer science 6351 (DE-604)BV000000607 6351 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3521314&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=020584651&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Computer safety, reliability, and security 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14 - 17, 2010 ; proceedings Lecture notes in computer science Softwareentwicklung (DE-588)4116522-6 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Systementwicklung (DE-588)4126945-7 gnd Technische Sicherheit (DE-588)4059233-9 gnd Computersicherheit (DE-588)4274324-2 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
subject_GND | (DE-588)4116522-6 (DE-588)4059245-5 (DE-588)4126945-7 (DE-588)4059233-9 (DE-588)4274324-2 (DE-588)4767762-4 (DE-588)4123192-2 (DE-588)1071861417 |
title | Computer safety, reliability, and security 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14 - 17, 2010 ; proceedings |
title_auth | Computer safety, reliability, and security 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14 - 17, 2010 ; proceedings |
title_exact_search | Computer safety, reliability, and security 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14 - 17, 2010 ; proceedings |
title_full | Computer safety, reliability, and security 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14 - 17, 2010 ; proceedings Erwin Schoitsch (eds.) |
title_fullStr | Computer safety, reliability, and security 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14 - 17, 2010 ; proceedings Erwin Schoitsch (eds.) |
title_full_unstemmed | Computer safety, reliability, and security 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14 - 17, 2010 ; proceedings Erwin Schoitsch (eds.) |
title_short | Computer safety, reliability, and security |
title_sort | computer safety reliability and security 29th international conference safecomp 2010 vienna austria september 14 17 2010 proceedings |
title_sub | 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14 - 17, 2010 ; proceedings |
topic | Softwareentwicklung (DE-588)4116522-6 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Systementwicklung (DE-588)4126945-7 gnd Technische Sicherheit (DE-588)4059233-9 gnd Computersicherheit (DE-588)4274324-2 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
topic_facet | Softwareentwicklung Zuverlässigkeit Systementwicklung Technische Sicherheit Computersicherheit Sicherheitskritisches System Fehlertoleranz Konferenzschrift 2010 Wien |
url | http://deposit.dnb.de/cgi-bin/dokserv?id=3521314&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=020584651&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT schoitscherwin computersafetyreliabilityandsecurity29thinternationalconferencesafecomp2010viennaaustriaseptember14172010proceedings AT safecompwien computersafetyreliabilityandsecurity29thinternationalconferencesafecomp2010viennaaustriaseptember14172010proceedings |