Stochastic model checking: rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Springer
2014
|
| Schriftenreihe: | Lecture notes in computer science
8453 : Tutorial |
| Schlagworte: | |
| Online-Zugang: | DE-634 DE-M347 DE-92 DE-859 DE-861 DE-91 DE-384 DE-473 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (VII, 280 S.) graph. Darst. |
| ISBN: | 9783662454893 |
| DOI: | 10.1007/978-3-662-45489-3 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV042206296 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 141125s2014 gw d||| o|||| 10||| eng d | ||
| 020 | |a 9783662454893 |c Online |9 978-3-662-45489-3 | ||
| 024 | 7 | |a 10.1007/978-3-662-45489-3 |2 doi | |
| 035 | |a (OCoLC)897387318 | ||
| 035 | |a (DE-599)BVBBV042206296 | ||
| 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-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-859 |a DE-861 |a DE-634 | ||
| 082 | 0 | |a 510 | |
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Stochastic model checking |b rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures |c Anne Remke ... (eds.) |
| 264 | 1 | |a Berlin |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (VII, 280 S.) |b 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 8453 : Tutorial | |
| 650 | 0 | 7 | |a Stochastisches System |0 (DE-588)4057635-8 |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 Mathematisches Modell |0 (DE-588)4114528-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Stochastisches System |0 (DE-588)4057635-8 |D s |
| 689 | 0 | 1 | |a Mathematisches Modell |0 (DE-588)4114528-8 |D s |
| 689 | 0 | 2 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Remke, Anne |d 1980- |0 (DE-588)135805562 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-662-45488-6 |
| 830 | 0 | |a Lecture notes in computer science |v 8453 : Tutorial |w (DE-604)BV014880109 |9 8453 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-45489-3 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027645070&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027645070&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027645070 | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-45489-3 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-45489-3 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-45489-3 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-45489-3 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-45489-3 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-45489-3 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-45489-3 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-45489-3 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-45489-3 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-45489-3 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-45489-3 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-45489-3 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-45489-3 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1820875636637433856 |
|---|---|
| adam_text |
STOCHASTIC MODEL CHECKING. RIGOROUS DEPENDABILITY ANALYSIS USING MODEL
CHECKING TECHNIQUES FOR STOCHASTIC SYSTEMS
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
THE TREE AREAS OF STOCHASTIC MODELS
ABSTRACTION TECHNIQUES
STOCHASTIC MODEL CHECKING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
STOCHASTIC MODEL CHECKING. RIGOROUS DEPENDABILITY ANALYSIS USING MODEL
CHECKING TECHNIQUES FOR STOCHASTIC SYSTEMS
/
: 2014
ABSTRACT / INHALTSTEXT
THE USE OF STOCHASTIC MODELS IN COMPUTER SCIENCE IS WIDE SPREAD, FOR
INSTANCE IN PERFORMANCE MODELING, ANALYSIS OF RANDOMIZED ALGORITHMS AND
COMMUNICATION PROTOCOLS WHICH FORM THE STRUCTURE OF THE INTERNET.
STOCHASTIC MODEL CHECKING IS AN IMPORTANT FIELD IN STOCHASTIC ANALYSIS.
IT HAS RAPIDLY GAINED POPULARITY, DUE TO ITS POWERFUL AND SYSTEMATIC
METHODS TO MODEL AND ANALYZE STOCHASTIC SYSTEMS. THIS BOOK PRESENTS 7
TUTORIAL LECTURES GIVEN BY LEADING SCIENTISTS AT THE ROCKS AUTUMN SCHOOL
ON STOCHASTIC MODEL CHECKING, HELD IN VAHRN, ITALY, IN OCTOBER 2012. THE
7 CHAPTERS OF THIS TUTORIAL WENT THROUGH TWO ROUNDS OF REVIEWING AND
IMPROVEMENT AND ARE SUMMARIZING THE STATE-OF-THE-ART IN THE FIELD,
CENTERED AROUND THE TREE AREAS OF STOCHASTIC MODELS, ABSTRACTION
TECHNIQUES AND STOCHASTIC MODEL CHECKING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author2 | Remke, Anne 1980- |
| author2_role | edt |
| author2_variant | a r ar |
| author_GND | (DE-588)135805562 |
| author_facet | Remke, Anne 1980- |
| building | Verbundindex |
| bvnumber | BV042206296 |
| classification_rvk | SS 4800 |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)897387318 (DE-599)BVBBV042206296 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-3-662-45489-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV042206296</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">141125s2014 gw d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662454893</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-45489-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-45489-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)897387318</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042206296</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-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Stochastic model checking</subfield><subfield code="b">rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures</subfield><subfield code="c">Anne Remke ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VII, 280 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">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">8453 : Tutorial</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stochastisches System</subfield><subfield code="0">(DE-588)4057635-8</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">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</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">Stochastisches System</subfield><subfield code="0">(DE-588)4057635-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Remke, Anne</subfield><subfield code="d">1980-</subfield><subfield code="0">(DE-588)135805562</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-662-45488-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8453 : Tutorial</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8453</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-45489-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027645070&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027645070&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027645070</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-45489-3</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</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/978-3-662-45489-3</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</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/978-3-662-45489-3</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</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/978-3-662-45489-3</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</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/978-3-662-45489-3</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</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/978-3-662-45489-3</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</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/978-3-662-45489-3</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</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/978-3-662-45489-3</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</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/978-3-662-45489-3</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</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/978-3-662-45489-3</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</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/978-3-662-45489-3</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</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/978-3-662-45489-3</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</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/978-3-662-45489-3</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042206296 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:18:47Z |
| institution | BVB |
| isbn | 9783662454893 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027645070 |
| oclc_num | 897387318 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| physical | 1 Online-Ressource (VII, 280 S.) graph. Darst. |
| psigel | ZDB-2-LNC |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Anne Remke ... (eds.) Berlin Springer 2014 1 Online-Ressource (VII, 280 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8453 : Tutorial Stochastisches System (DE-588)4057635-8 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Mathematisches Modell (DE-588)4114528-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Stochastisches System (DE-588)4057635-8 s Mathematisches Modell (DE-588)4114528-8 s Model Checking (DE-588)4434799-6 s 1\p DE-604 Remke, Anne 1980- (DE-588)135805562 edt Erscheint auch als Druck-Ausgabe, Paperback 978-3-662-45488-6 Lecture notes in computer science 8453 : Tutorial (DE-604)BV014880109 8453 https://doi.org/10.1007/978-3-662-45489-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027645070&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027645070&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Lecture notes in computer science Stochastisches System (DE-588)4057635-8 gnd Model Checking (DE-588)4434799-6 gnd Mathematisches Modell (DE-588)4114528-8 gnd |
| subject_GND | (DE-588)4057635-8 (DE-588)4434799-6 (DE-588)4114528-8 (DE-588)1071861417 |
| title | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures |
| title_auth | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures |
| title_exact_search | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures |
| title_full | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Anne Remke ... (eds.) |
| title_fullStr | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Anne Remke ... (eds.) |
| title_full_unstemmed | Stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures Anne Remke ... (eds.) |
| title_short | Stochastic model checking |
| title_sort | stochastic model checking rigorous dependability analysis using model checking techniques for stochastic systems international autumn school rocks 2012 vahrn italy october 22 26 2012 advanced lectures |
| title_sub | rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 ; advanced lectures |
| topic | Stochastisches System (DE-588)4057635-8 gnd Model Checking (DE-588)4434799-6 gnd Mathematisches Modell (DE-588)4114528-8 gnd |
| topic_facet | Stochastisches System Model Checking Mathematisches Modell Konferenzschrift |
| url | https://doi.org/10.1007/978-3-662-45489-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027645070&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027645070&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT remkeanne stochasticmodelcheckingrigorousdependabilityanalysisusingmodelcheckingtechniquesforstochasticsystemsinternationalautumnschoolrocks2012vahrnitalyoctober22262012advancedlectures |