Methods, models and tools for fault tolerance:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2009
|
| Series: | Lecture notes in computer science
5454 : State-of-the-art survey |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | VIII, 341 S. graph. Darst. |
| ISBN: | 9783642008665 3642008666 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035434860 | ||
| 003 | DE-604 | ||
| 005 | 20091113 | ||
| 007 | t| | ||
| 008 | 090415s2009 xx d||| |||| 00||| eng d | ||
| 015 | |a 09,N11,0032 |2 dnb | ||
| 016 | 7 | |a 992870763 |2 DE-101 | |
| 020 | |a 9783642008665 |c kart. : EUR 52.38 (freier Pr.), sfr 81.50 (freier Pr.) |9 978-3-642-00866-5 | ||
| 020 | |a 3642008666 |9 3-642-00866-6 | ||
| 024 | 3 | |a 9783642008665 | |
| 028 | 5 | 2 | |a 12632466 |
| 035 | |a (OCoLC)317920902 | ||
| 035 | |a (DE-599)DNB992870763 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-706 |a DE-703 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.F38 | |
| 082 | 0 | |a 004.2 |2 22/ger | |
| 082 | 0 | |a 004.2 |2 22//ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 286f |2 stub | ||
| 245 | 1 | 0 | |a Methods, models and tools for fault tolerance |c Michael Butler ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a VIII, 341 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5454 : State-of-the-art survey | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Fehlertoleranz - Aufsatzsammlung | |
| 650 | 4 | |a Fault-tolerance computing |v Congresses | |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Butler, Michael |d 1967- |e Sonstige |0 (DE-588)131558889 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5454 : State-of-the-art survey |w (DE-604)BV000000607 |9 5454 | |
| 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=017355198&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017355198 | |
Record in the Search Index
| _version_ | 1820875117032374272 |
|---|---|
| adam_text |
TABLE OF CONTENTS PART I: FORMAL REASONING ABOUT FAULT TOLERANT SYSTEMS
AND PROTOCOLS GRAPHICAL MODELLING FOR SIMULATION AND FORMAL ANALYSIS OF
WIRELESS NETWORK PROTOCOLS 1 A. FEHNKER, M. FRUTH, AND A.K. MCLVER
REASONING ABOUT SYSTEM-DEGRADATION AND FAULT-RECOVERY WITH DEONTIC LOGIC
25 PABLO F. CASTRO AND T.S.E. MAIBAUM TEMPORAL VERIFICATION OF
FAULT-TOLERANT PROTOCOLS 44 MICHAEL FISHER, BORIS KONEV, AND ALEXEI
LISITSA DESIGN AND VERIFICATION OF FAULT-TOLERANT COMPONENTS 57 MIAOMIAO
ZHANG, ZHIMING LIU, CHARLES MORISSET, AND ANDERS P. RAVN DYNAMICALLY
DETECTING FAULTS VIA INTEGRITY CONSTRAINTS 85 IAN J. HAYES PART II:
FAULT TOLERANCE: MODELLING IN B EVENT-B PATTERNS FOR SPECIFYING
FAULT-TOLERANCE IN MULTI-AGENT INTERACTION 104 ELISABETH BALL AND
MICHAEL BUTLER FORMAL REASONING ABOUT FAULT TOLERANCE AND PARALLELISM IN
COMMUNICATING SYSTEMS 130 LINAS LAIBINIS, ELENA TROUBITSYNA, AND SARI
LEPPAENEN FORMAL DEVELOPMENT OF A TOTAL ORDER BROADCAST FOR DISTRIBUTED
TRANSACTIONS USING EVENT-B 152 DIVAKAR YADAV AND MICHAEL BUTLER
MODEL-BASED TESTING USING SCENARIOS AND EVENT-B REFMEMENTS 177 QAISAR A.
MALIK, JOHAN LILIUS, AND LINAS LAIBINIS PART III: FAULT TOLERANCE IN
SYSTEM DEVELOPMENT PROCES BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/992870763 DIGITALISIERT DURCH VIII TABLE OF CONTENTS
DREP: A REQUIREMENTS ENGINEERING PROCESS FOR DEPENDABLE REACTIVE SYSTEMS
220 SADAF MUSTAFIZ AND JOERG KIENZLE DOCUMENTING THE PROGRESS OF THE
SYSTEM DEVELOPMENT 251 MARTA PLQSKA, MARINA WAIDEN, AND COLIN SNOOK
FAULT TOLERANCE REQUIREMENTS ANALYSIS USING DEVIATIONS IN THE CORRECT
DEVELOPMENT PROCESS 275 ANDREY BERLIZEV AND NICOLAS GUELFI PART IV:
FAULT TOLERANT APPLICATIONS STEP-WISE DEVELOPMENT OF RESILIENT AMBIENT
CAMPUS SCENARIOS 297 ALEXEI ILIASOV, BUDI ARIEF, AND ALEXANDER
ROMANOVSKY USING INHERENT SERVICE REDUNDANCY AND DIVERSITY TO ENSURE WEB
SERVICES DEPENDABILITY 324 ANATOLIY GORBENKO, VYACHESLAV KHARCHENKO, AND
ALEXANDER ROMANOVSKY AUTHOR INDEX 343 |
| any_adam_object | 1 |
| author_GND | (DE-588)131558889 |
| building | Verbundindex |
| bvnumber | BV035434860 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.F38 |
| callnumber-search | QA76.9.F38 |
| callnumber-sort | QA 276.9 F38 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 286f |
| ctrlnum | (OCoLC)317920902 (DE-599)DNB992870763 |
| 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 | 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">BV035434860</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20091113</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090415s2009 xx d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N11,0032</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">992870763</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642008665</subfield><subfield code="c">kart. : EUR 52.38 (freier Pr.), sfr 81.50 (freier Pr.)</subfield><subfield code="9">978-3-642-00866-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642008666</subfield><subfield code="9">3-642-00866-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642008665</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12632466</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)317920902</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB992870763</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-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.F38</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Methods, models and tools for fault tolerance</subfield><subfield code="c">Michael Butler ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 341 S.</subfield><subfield code="b">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">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">5454 : State-of-the-art survey</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fehlertoleranz - Aufsatzsammlung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault-tolerance computing</subfield><subfield code="v">Congresses</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)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</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">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</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">Butler, Michael</subfield><subfield code="d">1967-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)131558889</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">5454 : State-of-the-art survey</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5454</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=017355198&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-017355198</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Aufsatzsammlung Konferenzschrift |
| id | DE-604.BV035434860 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:31Z |
| institution | BVB |
| isbn | 9783642008665 3642008666 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017355198 |
| oclc_num | 317920902 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 DE-703 DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-706 DE-703 DE-83 DE-11 |
| physical | VIII, 341 S. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Methods, models and tools for fault tolerance Michael Butler ... (eds.) Berlin [u.a.] Springer 2009 VIII, 341 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5454 : State-of-the-art survey Literaturangaben Fehlertoleranz - Aufsatzsammlung Fault-tolerance computing Congresses Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content Fehlertoleranz (DE-588)4123192-2 s DE-604 Butler, Michael 1967- Sonstige (DE-588)131558889 oth Lecture notes in computer science 5454 : State-of-the-art survey (DE-604)BV000000607 5454 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017355198&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Methods, models and tools for fault tolerance Lecture notes in computer science Fehlertoleranz - Aufsatzsammlung Fault-tolerance computing Congresses Fehlertoleranz (DE-588)4123192-2 gnd |
| subject_GND | (DE-588)4123192-2 (DE-588)4143413-4 (DE-588)1071861417 |
| title | Methods, models and tools for fault tolerance |
| title_auth | Methods, models and tools for fault tolerance |
| title_exact_search | Methods, models and tools for fault tolerance |
| title_full | Methods, models and tools for fault tolerance Michael Butler ... (eds.) |
| title_fullStr | Methods, models and tools for fault tolerance Michael Butler ... (eds.) |
| title_full_unstemmed | Methods, models and tools for fault tolerance Michael Butler ... (eds.) |
| title_short | Methods, models and tools for fault tolerance |
| title_sort | methods models and tools for fault tolerance |
| topic | Fehlertoleranz - Aufsatzsammlung Fault-tolerance computing Congresses Fehlertoleranz (DE-588)4123192-2 gnd |
| topic_facet | Fehlertoleranz - Aufsatzsammlung Fault-tolerance computing Congresses Fehlertoleranz Aufsatzsammlung Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017355198&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT butlermichael methodsmodelsandtoolsforfaulttolerance |